Cyber-Physical Systems and Events

This paper discusses event-based semantics in the context of the emerging concept of Cyber Physical Systems and describes two related formal models concerning policy-based coordination and Interactive Agents.

[1]  J. Meseguer,et al.  Semantic Models for Distributed Object Reflection , 2002, ECOOP.

[2]  Gul A. Agha,et al.  Concurrent object-oriented programming , 1993, CACM.

[3]  Peter Wegner,et al.  Why interaction is more powerful than algorithms , 1997, CACM.

[4]  José Meseguer,et al.  Rewriting Semantics of Meta-Objects and Composable Distributed Services , 2000, WRLA.

[5]  Boris Magnusson,et al.  ECOOP 2002 — Object-Oriented Programming , 2002, Lecture Notes in Computer Science.

[6]  Carolyn L. Talcott,et al.  A Formal Framework for Interactive Agents , 2008, FInCo@ETAPS.

[7]  P. Pandurang Nayak,et al.  Remote Agent: To Boldly Go Where No AI System Has Gone Before , 1998, Artif. Intell..

[8]  Martin Wirsing,et al.  Extraction of Structured Programs from Specification Proofs , 1999, WADT.

[9]  Christoph Kreitz,et al.  The Nuprl Open Logical Environment , 2000, CADE.

[10]  Koushik Sen,et al.  Efficient decentralized monitoring of safety in distributed systems , 2004, Proceedings. 26th International Conference on Software Engineering.

[11]  Frank van Harmelen,et al.  Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs , 1990, CADE.

[12]  Chan-Gun Lee,et al.  A Generic Framework for Monitoring Timing Constraints over Uncertain Events , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[13]  Carolyn L. Talcott,et al.  Coordination Models Based on a Formal Model of Distributed Object Reflection , 2006, MTCoord@COORDINATION.

[14]  Glenn Reeves,et al.  Software architecture themes in JPL's mission data system , 1999 .

[15]  José Meseguer,et al.  A Rewriting Logic Sampler , 2005, ICTAC.

[16]  Irene Greif,et al.  Semantics of communicating parallel processes , 1975 .

[17]  Scott A. Smolka,et al.  Turing machines, transition systems, and interaction , 2004, Inf. Comput..

[18]  Jirí Srba,et al.  Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets , 2008, FORMATS.

[19]  Edward A. Lee.  The problem with threads , 2006, Computer.

[20]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[21]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[22]  William D. Clinger,et al.  Foundations of Actor Semantics , 1981 .

[23]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[24]  Farhad Arbab,et al.  A Coinductive Calculus of Component Connectors , 2002, WADT.

[25]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[26]  Peter Wegner,et al.  Computation beyond turing machines , 2003, CACM.

[27]  Carolyn L. Talcott.  Composable Semantic Models for Actor Theories , 1997, TACS.

[28]  Carl Hewitt,et al.  Laws for Communicating Parallel Processes , 1977, IFIP Congress.

[29]  Mahesh Viswanathan,et al.  Java-MaC: A Run-Time Assurance Approach for Java Programs , 2004, Formal Methods Syst. Des..

[30]  Benedikt Löwe,et al.  New Computational Paradigms , 2005 .

[31]  Carl Hewitt,et al.  A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.

[32]  Mark Bickford,et al.  A Causal Logic of Events in Formalized Computational Type Theory , 2005 .

[33]  Carolyn L. Talcott,et al.  A Rewriting Logic Framework for Soft Constraints , 2006, WRLA.

[34]  Ramesh C. Jain,et al.  Design and Implementation of a Middleware for Sentient Spaces , 2007, 2007 IEEE Intelligence and Security Informatics.

[35]  Edward A. Lee,et al.  Modeling Timed Concurrent Systems , 2006, CONCUR.

[36]  Peter Wegner,et al.  The Church-Turing Thesis: Breaking the Myth , 2005, CiE.

[37]  Martin Wirsing,et al.  Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings , 2005, ICTAC.

[38]  Isabelle Linden,et al.  MTCoord 2005 1st International Workshop on Methods and Toolsfor Coordinating Concurrent, Distributed and Mobile Systems , 2005 .

[39]  Grit Denker,et al.  A Formal Framework for Goal Net Analysis , 2005 .

[40]  Thomas A. Henzinger,et al.  Interface Theories for Component-Based Design , 2001, EMSOFT.

[41]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[42]  Edward A. Lee.  Concurrent Semantics Without the Notions of State or State Transitions , 2006, FORMATS.

[43]  F. Javier Thayer Fábrega,et al.  Strand spaces: proving security protocols correct , 1999 .

[44]  Carolyn L. Talcott,et al.  Formal Checklists for Remote Agent Dependability , 2004, WRLA.