Advertisement

Cyber-Physical Systems and Events

  • Carolyn Talcott
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5380)

Abstract

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.

Keywords

Sensor Reading Interactive Agent Event Stream High Level Event Event Diagram 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)Google Scholar
  2. 2.
    Agha, G.: Concurrent object-oriented programming. Communications of the ACM 33(9), 125–141 (1990)CrossRefGoogle Scholar
  3. 3.
    Allen, S., Constable, R., Eaton, R., Kreitz, C., Lorigo, L.: The Nuprl open logical environment. In: McAllester, D. (ed.) CADE 2000. LNCS (LNAI), vol. 1831, pp. 170–176. Springer, Heidelberg (2000)Google Scholar
  4. 4.
    Arbab, F., Rutten, J.J.M.M.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 34–55. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  5. 5.
    Baker, H.G., Hewitt, C.: Laws for communicating parallel processes. In: IFIP Congress, pp. 987–992 (August 1977)Google Scholar
  6. 6.
    Bickford, M.: Specification and derivation of distributed programs using a logic of events (2007), Invited lecture for Worshop on Event-based Semantics 2007, http://blackforest.stanford.edu/eventsemantics
  7. 7.
    Bickford, M.: Abstract sequential programs and a logic of events (2008), Invited lecture for Worshop on Event-based Semantics (2008), http://blackforest.stanford.edu/eventsemantics
  8. 8.
    Bickford, M., Constable, R.L.: A causal logic of events in formalized computational type theory. Technical Report Technical Report 2005-2010, Cornell University (2005)Google Scholar
  9. 9.
    Clinger, W.D.: Foundations of actor semantics. AI-TR- 633, MIT Artificial Intelligence Laboratory (May 1981)Google Scholar
  10. 10.
    de Alfaro, L., Henzinger, T.A.: Interface automata. In: Ninth Annual Symposium on Foundations of Software Engineering (FSE), pp. 109–120. ACM Press, New York (2001)Google Scholar
  11. 11.
    de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, p. 148. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  12. 12.
    Denker, G., Meseguer, J., Talcott, C.L.: Rewriting semantics of distributed meta objects and composable communication services. In: Third International Workshop on Rewriting Logic and Its Applications (WRLA 2000). Electronic Notes in Theoretical Computer Science, vol. 36. Elsevier, Amsterdam (2000)Google Scholar
  13. 13.
    Denker, G., Talcott, C.L.: Formal checklists for remote agent dependability. In: Fifth International Workshop on Rewriting Logic and Its Applications (WRLA 2004). Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2004)Google Scholar
  14. 14.
    Denker, G., Talcott, C.L.: A formal framework for goal net analysis. In: Workshop on Verification and Validation of Planning Systems. AAAI Press, Menlo Park (2005)Google Scholar
  15. 15.
    Dvorak, D., Rasmussen, R., Reeves, G., Sacks, A.: Software Architecture Themes In JPL’s Mission Data System. In: IEEE Aerospace Conference, USA (2000)Google Scholar
  16. 16.
    Fábrega, F.J.T., Herzog, J.C., Guttman, J.D.: Strand spaces: Proving cryptographic protocols correct. Journal of Computer Security, 191–230 (1999)Google Scholar
  17. 17.
    Goldin, D., Smolka, S., Attie, P., Sonderegger, E.: Turing machines, transition systems, and interaction. Information and Computation Journal 194(2), 101–128 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Greif, I.: Semantics of communicating parallel processes. Technical Report 154, MIT, Project MAC (1975)Google Scholar
  19. 19.
    Guttman, J.: Strand spaces: From key exchange to secure location, Invited lecture for Worshop on Event-based Semantics 2008 (2008), http://blackforest.stanford.edu/eventsemantics
  20. 20.
    Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: Proceedings of 1973 International Joint Conference on Artificial Intelligence, pp. 235–245 (August 1973)Google Scholar
  21. 21.
    Hore, B., Jafarpour, H., Jain, R., Ji, S., Massaguer, D., Mehrotra, S., Venkatasubramanian, N., Westermann, U.: Design and implementation of a middleware for sentient spaces. In: Proceedings of ISI 2007 (2007)Google Scholar
  22. 22.
    Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Java-MaC: A run-time assurance approach for Java programs. Formal Methods in Systems Design 24(2), 129–155 (2004)CrossRefzbMATHGoogle Scholar
  23. 23.
    Lee, E.A.: Concurrent semantics without the notions of state or state transitions. In: Formal Modeling and Analysis of Timed Systems. LNCS, pp. 18–31. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  24. 24.
    Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Circuits and Systems 17(12), 1217–1229 (1998)CrossRefGoogle Scholar
  25. 25.
    Lee, E.A.: Concurrent semantics without the notions of state or state transitions. In: Formal Modeling and Analysis of Timed Systems. LNCS, pp. 18–31 (2006)Google Scholar
  26. 26.
    Lee, E.A.: The problem with threads. IEEE Computer 39(5), 33–42 (2006)CrossRefGoogle Scholar
  27. 27.
    Liu, X., Matsikoudis, E., Lee, E.A.: Modeling timed concurrent systems. In: CONCUR (2006)Google Scholar
  28. 28.
    Meseguer, J.: Conditional Rewriting Logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73–155 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  29. 29.
    Meseguer, J., Talcott, C.L.: Semantic models for distributed object reflection (invited paper). In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol. 2374, pp. 1–36. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  30. 30.
    Meseguer, J.: A rewriting logic sampler. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol. 3722, pp. 1–28. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  31. 31.
    Muscetolla, N., Pandurang, P., Pell, B., Williams, B.: Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artificial Intelligence 103(1–2), 5–48 (1998)CrossRefzbMATHGoogle Scholar
  32. 32.
    Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: ACM TOSEM (submitted, 2006) (invited papers)Google Scholar
  33. 33.
    Talcott, C.L.: Composable semantic models for actor theories. Higher-Order and Symbolic Computation 11(3), 281–343 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  34. 34.
    Talcott, C.: Coordination models based on a formal model of distributed object reflection. In: 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005) (2005)Google Scholar
  35. 35.
    Talcott, C.: A formal framework for interactive agents. In: Arbab, F., Golden, D. (eds.) Foundations of Interactive Computation (FInCo 2007). Electronic Notes in Theoretical Computer Science, vol. 203, pp. 95–106. Elsevier, Amsterdam (2007)Google Scholar
  36. 36.
    Tidwell, T., Gill, C.: Abstract interpretation of time for preemptive scheduling of cyber-physical systems. Position paper for Worshop on Event-based Semantics 2007 (2007), http://blackforest.stanford.edu/eventsemantics
  37. 37.
    Wegner, P.: Why interaction is more powerful than algorithms. CACM (May 1997)Google Scholar
  38. 38.
    Wegner, P., Goldin, D.: Computation beyond turing machines. CACM (April 2003)Google Scholar
  39. 39.
    Wegner, P., Goldin, D.: The church-turing thesis: Breaking the myth. In: Cooper, S.B., Löwe, B., Torenvliet, L. (eds.) CiE 2005. LNCS, vol. 3526, pp. 152–168. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  40. 40.
    Wirsing, M., Denker, G., Talcott, C., Poggio, A., Briesemeister, L.: A rewriting logic framework for soft constraints. In: WRLA 2006 (submitted, 2006)Google Scholar
  41. 41.
    Woo, H., Mok, A.K., Chen, D.: Realizing the potential of monitoring uncertain event streams in real-time embedded applications. Position paper for Worshop on Event-based Semantics 2007 (2007), http://blackforest.stanford.edu/eventsemantics
  42. 42.
    Woo, H., Mok, A.K., Lee, C.-G.: A generic framework for monitoring timing constraints over uncertain events. In: 27th IEEE International Real-Time Systems Symposium (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Carolyn Talcott
    • 1
  1. 1.SRI InternationalMenlo ParkUSA

Personalised recommendations