Charon

Modular specification of hybrid systems in Charon. A new language, called Charon, is proposed for modular specification of interacting hybrid systems. For a hierarchical description of the system architecture, Charon supports building complex agents via the operations of instantiation, hiding, and parallel composition. For a hierarchical description of the behaviour of atomic components, it supports building complex modes via the operations of instantiation, scoping, and encapsulation. Features such as weak preemption, history retention, and externally defined Java functions, facilitate the description of complex discrete behaviour. The continuous behaviour can be specified using differential as well as algebraic constraints, and invariants restricting the flow spaces, all of which can be declared at various levels of the hierarchy. The modular structure of the language is not merely syntactic, but can be exploited during analysis. The authors illustrate this aspect by presenting a scheme for modular simulation in which each mode can be compiled solely based on the locally declared information to execute its discrete and continuous updates, and furthermore, submodes can integrate at a finer time scale than the enclosing modes.


References in zbMATH (referenced in 16 articles )

Showing results 1 to 16 of 16.
Sorted by year (citations)

  1. Konečný, Michal; Taha, Walid; Bartha, Ferenc A.; Duracz, Jan; Duracz, Adam; Ames, Aaron D.: Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (2016)
  2. Bak, Stanley; Bogomolov, Sergiy; Johnson, Taylor T.: HYST: a source transformation and translation tool for hybrid automaton models (2015)
  3. Bourke, Timothy; Pouzet, Marc: Zélus: a synchronous language with ODEs (2013)
  4. Bauer, Kerstin; Schneider, Klaus: From synchronous programs to symbolic representations of hybrid systems (2010)
  5. Bartocci, E.; Corradini, F.; Di Berardini, M. R.; Entcheva, E.; Smolka, S. A.; Grosu, R.: Modeling and simulation of cardiac tissue using hybrid I/O automata (2009)
  6. Bujorianu, Marius C.; Bujorianu, Manuela L.; Barringer, Howard: A formal framework for user centric control of probabilistic multi-agent cyber-physical systems (2009)
  7. Ciocchetta, Federica: Bio-PEPA with events (2009)
  8. Höfner, Peter; Möller, Bernhard: An algebra of hybrid systems (2009)
  9. Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Entcheva, Emilia; Grosu, Radu; Smolka, Scott A.: Spatial networks of hybrid I/O automata for modeling excitable tissue (2008)
  10. Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio: Algorithmic analysis of polygonal hybrid systems. I: Reachability (2007)
  11. Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg: Compositional modeling and refinement for hierarchical hybrid systems (2006)
  12. Ellman, Thomas: Specification and synthesis of hybrid automata for physics-based animation (2006) ioport
  13. Kratz, Fabian; Sokolsky, Oleg; Pappas, George J.; Lee, Insup: R-Charon, a modeling language for reconfigurable hybrid systems (2006)
  14. Lanotte, Ruggero; Maggiolo-Schettini, Andrea: Monotonic hybrid systems (2005)
  15. Kim, MoonZoo; Viswanathan, Mahesh; Kannan, Sampath; Lee, Insup; Sokolsky, Oleg: Java-MaC: A run-time assurance approach for Java programs (2004)
  16. Alur, Rajeev; Grosu, Radu; Hur, Yerang; Kumar, Vijay; Lee, Insup: Modular specification of hybrid systems in Charon (2000)