A semantic model for interacting cyber-physical systems

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 129; p. 100807
Main Authors Lion, Benjamin, Arbab, Farhad, Talcott, Carolyn
Format Journal Article
LanguageEnglish
Published 01.11.2022
Online AccessGet full text

Cover

ArticleNumber 100807
Author Talcott, Carolyn
Lion, Benjamin
Arbab, Farhad
Author_xml – sequence: 1
  givenname: Benjamin
  orcidid: 0000-0001-8788-9276
  surname: Lion
  fullname: Lion, Benjamin
– sequence: 2
  givenname: Farhad
  surname: Arbab
  fullname: Arbab, Farhad
– sequence: 3
  givenname: Carolyn
  surname: Talcott
  fullname: Talcott, Carolyn
BookMark eNp9j7tqwzAYhTWk0DTNE3TxC9iVftmSPYbQGwSytLOQZP2tjG9IWvz2dZpOHTodOJzvwHdHNuM0OkIeGC0YZeKxK7peD3MBFGBtaE3lhmyBV5AD0PqW7GPsKF2ntaw52xJ5yKIb9Ji8zYapdX2GU8j8mFzQNvnxM7OLcSGfv5bore6zuMTkhnhPblD30e1_c0c-np_ej6_56fzydjyccgtNmfLGYAkt50ZiaaxFqDUY26DWkgknjGZSIEdoaFkycOgEM67FqkGBVUsF35Hm-mvDFGNwqKxPOvlpTEH7XjGqLuKqUz_i6iKuruIry_-wc_CDDsu_1Dej32N3
CitedBy_id crossref_primary_10_3390_app14156760
Cites_doi 10.1016/0020-0190(85)90056-0
10.1007/s10009-007-0049-7
10.3233/JCS-2009-0393
10.4204/EPTCS.347.5
10.1016/j.scico.2019.08.001
10.1016/S0304-3975(00)00056-6
10.1109/9.412626
10.1017/S0960129512000278
10.1006/jsco.2001.0472
10.1017/S0960129517000135
10.1109/JPROC.2012.2189792
10.1016/j.scico.2004.05.010
10.1016/S0890-5401(03)00067-1
10.1145/359576.359585
10.1016/S0304-3975(02)00006-3
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.1016/j.jlamp.2022.100807
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
ExternalDocumentID 10_1016_j_jlamp_2022_100807
GroupedDBID --M
0R~
4.4
457
4G.
7-5
8P~
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AATTM
AAXKI
AAXUO
AAYFN
AAYWO
AAYXX
ABBOA
ABJNI
ABMAC
ABXDB
ACDAQ
ACGFS
ACRLP
ACVFH
ADBBV
ADCNI
ADEZE
ADVLN
AEBSH
AEIPS
AEKER
AENEX
AEUPX
AFJKZ
AFPUW
AFTJW
AFXIZ
AGCQF
AGHFR
AGRNS
AGUBO
AIALX
AIEXJ
AIGII
AIIUN
AIKHN
AITUG
AKBMS
AKRWK
AKYEP
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
ANKPU
AOUOD
AXJTR
BKOJK
BLXMC
BNPGV
CITATION
EBS
EFJIC
EJD
FDB
FIRID
FYGXN
GBLVA
GBOLZ
HZ~
KOM
M41
O9-
OAUVE
RIG
ROL
SPC
SPCBC
SSH
SSV
SSZ
T5K
~G-
ID FETCH-LOGICAL-c294t-9bf42d33b7f4bccf28a2bc9faa716e6ba176f3f2904412efe61bedf59f6f5d063
ISSN 2352-2208
IngestDate Thu Apr 24 23:02:34 EDT 2025
Tue Jul 01 00:37:50 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c294t-9bf42d33b7f4bccf28a2bc9faa716e6ba176f3f2904412efe61bedf59f6f5d063
ORCID 0000-0001-8788-9276
OpenAccessLink https://doi.org/10.1016/j.jlamp.2022.100807
ParticipantIDs crossref_citationtrail_10_1016_j_jlamp_2022_100807
crossref_primary_10_1016_j_jlamp_2022_100807
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2022-11-00
PublicationDateYYYYMMDD 2022-11-01
PublicationDate_xml – month: 11
  year: 2022
  text: 2022-11-00
PublicationDecade 2020
PublicationTitle Journal of logical and algebraic methods in programming
PublicationYear 2022
References Sha (10.1016/j.jlamp.2022.100807_br0210) 2010
Lion (10.1016/j.jlamp.2022.100807_br0070) 2021; 347
Henzinger (10.1016/j.jlamp.2022.100807_br0170) 1996
Kappé (10.1016/j.jlamp.2022.100807_br0110) 2019; 183
Sampath (10.1016/j.jlamp.2022.100807_br0190) 1995; 40
Kim (10.1016/j.jlamp.2022.100807_br0130) 2012; 100
Lafortune (10.1016/j.jlamp.2022.100807_br0050) 2019
Ro (10.1016/j.jlamp.2022.100807_br0300) 2019
Lee (10.1016/j.jlamp.2022.100807_br0120) 2008
Talcott (10.1016/j.jlamp.2022.100807_br0100) 2015
Lynch (10.1016/j.jlamp.2022.100807_br0290) 2003; 185
Arbab (10.1016/j.jlamp.2022.100807_br0030) 2003
Finkbeiner (10.1016/j.jlamp.2022.100807_br0270) 2020
Arbab (10.1016/j.jlamp.2022.100807_br0150) 2005; 55
Nguyen (10.1016/j.jlamp.2022.100807_br0280) 2017
Clarkson (10.1016/j.jlamp.2022.100807_br0060) 2010; 18
de Alfaro (10.1016/j.jlamp.2022.100807_br0140) 2001
Lafferriere (10.1016/j.jlamp.2022.100807_br0040) 2001; 32
Kanovich (10.1016/j.jlamp.2022.100807_br0230) 2021
Tripakis (10.1016/j.jlamp.2022.100807_br0020) 2013; 23
Hamon (10.1016/j.jlamp.2022.100807_br0310) 2007; 9
Liu (10.1016/j.jlamp.2022.100807_br0240) 2010; vol. 6461
Kanovich1 (10.1016/j.jlamp.2022.100807_br0220) 2016
Talcott (10.1016/j.jlamp.2022.100807_br0200) 2008
Liu (10.1016/j.jlamp.2022.100807_br0010) 2006
Arnold (10.1016/j.jlamp.2022.100807_br0180) 2002; 281
Fiadeiro (10.1016/j.jlamp.2022.100807_br0080) 2018; 28
Clavel (10.1016/j.jlamp.2022.100807_br0330) 2007
Xu (10.1016/j.jlamp.2022.100807_br0260) 2022
Hoare (10.1016/j.jlamp.2022.100807_br0250) 1978; 21
Alpern (10.1016/j.jlamp.2022.100807_br0090) 1985; 21
Rutten (10.1016/j.jlamp.2022.100807_br0160) 2000; 249
References_xml – volume: 21
  start-page: 181
  issue: 4
  year: 1985
  ident: 10.1016/j.jlamp.2022.100807_br0090
  article-title: Defining liveness
  publication-title: Inf. Process. Lett.
  doi: 10.1016/0020-0190(85)90056-0
– year: 2022
  ident: 10.1016/j.jlamp.2022.100807_br0260
  article-title: Semantics foundation for cyber-physical systems using higher-order UTP
  publication-title: ACM Trans. Softw. Eng. Methodol.
– volume: 9
  start-page: 447
  issue: 5–6
  year: 2007
  ident: 10.1016/j.jlamp.2022.100807_br0310
  article-title: An operational semantics for stateflow
  publication-title: Int. J. Softw. Tools Technol. Transf.
  doi: 10.1007/s10009-007-0049-7
– volume: 18
  start-page: 1157
  issue: 6
  year: 2010
  ident: 10.1016/j.jlamp.2022.100807_br0060
  article-title: Hyperproperties
  publication-title: J. Comput. Secur.
  doi: 10.3233/JCS-2009-0393
– start-page: 363
  year: 2008
  ident: 10.1016/j.jlamp.2022.100807_br0120
  article-title: Cyber physical systems: design challenges
– volume: 347
  start-page: 77
  year: 2021
  ident: 10.1016/j.jlamp.2022.100807_br0070
  article-title: A semantic model for interacting cyber-physical systems
  publication-title: Electron. Proc. Theor. Comput. Sci.
  doi: 10.4204/EPTCS.347.5
– volume: 183
  year: 2019
  ident: 10.1016/j.jlamp.2022.100807_br0110
  article-title: Soft component automata: composition, compilation, logic, and verification
  publication-title: Sci. Comput. Program.
  doi: 10.1016/j.scico.2019.08.001
– start-page: 101
  year: 2008
  ident: 10.1016/j.jlamp.2022.100807_br0200
– start-page: 34
  year: 2003
  ident: 10.1016/j.jlamp.2022.100807_br0030
  article-title: A coinductive calculus of component connectors
– volume: 249
  start-page: 3
  issue: 1
  year: 2000
  ident: 10.1016/j.jlamp.2022.100807_br0160
  article-title: Universal coalgebra: a theory of systems
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/S0304-3975(00)00056-6
– volume: 40
  start-page: 1555
  issue: 9
  year: 1995
  ident: 10.1016/j.jlamp.2022.100807_br0190
  article-title: Diagnosability of discrete-event systems
  publication-title: IEEE Trans. Autom. Control
  doi: 10.1109/9.412626
– start-page: 11
  year: 2019
  ident: 10.1016/j.jlamp.2022.100807_br0300
  article-title: A compositional semantics of simulink/stateflow based on quantized state hybrid automata
– volume: vol. 6461
  start-page: 1
  year: 2010
  ident: 10.1016/j.jlamp.2022.100807_br0240
  article-title: A calculus for hybrid CSP
– year: 2010
  ident: 10.1016/j.jlamp.2022.100807_br0210
– start-page: 278
  year: 1996
  ident: 10.1016/j.jlamp.2022.100807_br0170
  article-title: The theory of hybrid automata
– start-page: 40
  year: 2020
  ident: 10.1016/j.jlamp.2022.100807_br0270
  article-title: Realizing ω-regular hyperproperties
– start-page: 104
  year: 2017
  ident: 10.1016/j.jlamp.2022.100807_br0280
  article-title: Hyperproperties of real-valued signals
– year: 2007
  ident: 10.1016/j.jlamp.2022.100807_br0330
– volume: 23
  start-page: 834
  year: 2013
  ident: 10.1016/j.jlamp.2022.100807_br0020
  article-title: A modular formal semantics for Ptolemy
  publication-title: Math. Struct. Comput. Sci.
  doi: 10.1017/S0960129512000278
– start-page: 148
  year: 2001
  ident: 10.1016/j.jlamp.2022.100807_br0140
  article-title: Interface theories for component-based design
– start-page: 228
  year: 2016
  ident: 10.1016/j.jlamp.2022.100807_br0220
  article-title: Timed multiset rewriting and the verification of time-sensitive distributed systems
– volume: 32
  start-page: 231
  issue: 3
  year: 2001
  ident: 10.1016/j.jlamp.2022.100807_br0040
  article-title: Symbolic reachability computation for families of linear vector fields
  publication-title: J. Symb. Comput.
  doi: 10.1006/jsco.2001.0472
– volume: 28
  start-page: 800
  issue: 6
  year: 2018
  ident: 10.1016/j.jlamp.2022.100807_br0080
  article-title: Dynamic networks of heterogeneous timed machines
  publication-title: Math. Struct. Comput. Sci.
  doi: 10.1017/S0960129517000135
– volume: 100
  start-page: 1287
  year: 2012
  ident: 10.1016/j.jlamp.2022.100807_br0130
  article-title: Cyber–physical systems: a perspective at the centennial
  publication-title: Proc. IEEE
  doi: 10.1109/JPROC.2012.2189792
– volume: 55
  start-page: 3
  issue: 1
  year: 2005
  ident: 10.1016/j.jlamp.2022.100807_br0150
  article-title: Abstract behavior types: a foundation model for components and their composition
  publication-title: Sci. Comput. Program.
  doi: 10.1016/j.scico.2004.05.010
– year: 2019
  ident: 10.1016/j.jlamp.2022.100807_br0050
  article-title: Discrete event systems: modeling, observation, and control
– volume: 185
  start-page: 105
  issue: 1
  year: 2003
  ident: 10.1016/j.jlamp.2022.100807_br0290
  article-title: Hybrid i/o automata
  publication-title: Inf. Comput.
  doi: 10.1016/S0890-5401(03)00067-1
– volume: 21
  start-page: 666
  issue: 8
  year: 1978
  ident: 10.1016/j.jlamp.2022.100807_br0250
  article-title: Communicating sequential processes
  publication-title: Commun. ACM
  doi: 10.1145/359576.359585
– start-page: 1
  year: 2006
  ident: 10.1016/j.jlamp.2022.100807_br0010
  article-title: Modeling timed concurrent systems
– volume: 281
  start-page: 31
  issue: 1–2
  year: 2002
  ident: 10.1016/j.jlamp.2022.100807_br0180
  article-title: Nivat's processes and their synchronization
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/S0304-3975(02)00006-3
– year: 2021
  ident: 10.1016/j.jlamp.2022.100807_br0230
  article-title: On the complexity of verification of time-sensitive distributed systems
– start-page: 273
  year: 2015
  ident: 10.1016/j.jlamp.2022.100807_br0100
SSID ssj0001687831
Score 2.2223492
SourceID crossref
SourceType Enrichment Source
Index Database
StartPage 100807
Title A semantic model for interacting cyber-physical systems
Volume 129
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LTwIxEG4QL158G9_pwZuWQPd9RCPB50kSbpu22yoEVoN4wF_vtN0XYox42ZBNmezu92U6nX6dQejMCx3NFUFavnAIeD-PRF4giXQYzPcQoQqT03149Ls997bv9Wu1-4pq6WPKG-Lzx3Ml_0EV7gGu-pTsEsgWRuEG_AZ84QoIw_VPGLfP3-UYPs1A2I42RjOoC0CYo0_6NO2Mywl5y7F4r5QnXwxIcy9oyreOnvWOsjZsWkxbtbnVco3z2U7reAZ21_5SpkM2HqQlfzgzOz0dNnlhSZkfGIlMIWKUJrO0mnWABWuryDoY50QhcCOUNsM5T5olL6wv1GWDbEfbBTdtMwbDxhBYr4uGUtooR88Xxf42WRUSwlydNoyNkVgbia2RFbRKYdFA62i1fXPXfSxzbn4YhKZFZfH4eSEqI_lbeJxKsFKJOp420XqGDm5b7LdQTabbaCNvxYEzz7yDgjbOqYANFTBQAVeogOepgDMq7KJe5_rpqkuynhhE0MidkogrlyaOwwPlciEUDRnlIlKMwcJX-py1Al85ikZNiHOpVNJvcZkoL1K-8hKIR_dQPX1N5T7CSSRDWG0HiUO5y5ngisF6WakQjPiURweI5i8fi6xgvO5bMop_-fYH6KL405utl_Lb8MPlhh-htZKMx6g-nXzIEwgKp_w0w_oLk2ljCw
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+semantic+model+for+interacting+cyber-physical+systems&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Lion%2C+Benjamin&rft.au=Arbab%2C+Farhad&rft.au=Talcott%2C+Carolyn&rft.date=2022-11-01&rft.issn=2352-2208&rft.volume=129&rft.spage=100807&rft_id=info:doi/10.1016%2Fj.jlamp.2022.100807&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2022_100807
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon