Skip to main content
SpringerLink
Log in

Cyber-Physical Systems and Events

  • Chapter
Software-Intensive Systems and New Computing Paradigms

Part of the book series: Lecture Notes in Computer Science ((LNPSE,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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)

    Google Scholar 

  2. Agha, G.: Concurrent object-oriented programming. Communications of the ACM 33(9), 125–141 (1990)

    Article  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  5. Baker, H.G., Hewitt, C.: Laws for communicating parallel processes. In: IFIP Congress, pp. 987–992 (August 1977)

    Google Scholar 

  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. 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. 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. Clinger, W.D.: Foundations of actor semantics. AI-TR- 633, MIT Artificial Intelligence Laboratory (May 1981)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. 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. 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. 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. 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. Goldin, D., Smolka, S., Attie, P., Sonderegger, E.: Turing machines, transition systems, and interaction. Information and Computation Journal 194(2), 101–128 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  18. Greif, I.: Semantics of communicating parallel processes. Technical Report 154, MIT, Project MAC (1975)

    Google Scholar 

  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. 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. 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. 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)

    Article  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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. Lee, E.A.: The problem with threads. IEEE Computer 39(5), 33–42 (2006)

    Article  Google Scholar 

  27. Liu, X., Matsikoudis, E., Lee, E.A.: Modeling timed concurrent systems. In: CONCUR (2006)

    Google Scholar 

  28. Meseguer, J.: Conditional Rewriting Logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73–155 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  MATH  Google Scholar 

  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. Talcott, C.L.: Composable semantic models for actor theories. Higher-Order and Symbolic Computation 11(3), 281–343 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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. 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. Wegner, P.: Why interaction is more powerful than algorithms. CACM (May 1997)

    Google Scholar 

  38. Wegner, P., Goldin, D.: Computation beyond turing machines. CACM (April 2003)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. SRI International, Menlo Park, CA 94025-3493, USA

    Carolyn Talcott

Authors
  1. Carolyn Talcott
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, LMU Munich, Munich, Germany

    Martin Wirsing  & Axel Rauschmayer  & 

  2. Université de Rennes I and INRIA/IRISA, Campus de Beaulieu, 35042, Rennes Cedex, France

    Jean-Pierre Banâtre

  3. Ludwig-Maximilians-Universität München, Germany

    Matthias Hölzl

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Talcott, C. (2008). Cyber-Physical Systems and Events. In: Wirsing, M., Banâtre, JP., Hölzl, M., Rauschmayer, A. (eds) Software-Intensive Systems and New Computing Paradigms. Lecture Notes in Computer Science, vol 5380. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89437-7_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89437-7_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89436-0

  • Online ISBN: 978-3-540-89437-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation