This shows you the differences between two versions of the page.
— |
vanbeek:jlap05 [Wednesday, 19 March 2008 : 15:56:32] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ===== Syntax and Consistent Equation Semantics of Hybrid Chi ===== | ||
+ | //D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers// | ||
+ | |||
+ | The hybrid Chi formalism integrates concepts from dynamics and | ||
+ | control theory with concepts from computer science, in particular from process | ||
+ | algebra and hybrid automata. It integrates ease of modeling with a | ||
+ | straightforward, structured operational semantics. Its `consistent equation | ||
+ | semantics' enforces state changes to be consistent with invariants as in most | ||
+ | hybrid automata. Ease of modeling is ensured by means of the following | ||
+ | concepts: 1) different classes of variables: discrete and continuous, of | ||
+ | subclass jumping or non-jumping, and algebraic; 2) strong time determinism of | ||
+ | alternative composition in combination with delayable guards; 3) integration | ||
+ | of urgent and non-urgent actions; 4) differential algebraic equations as a | ||
+ | process term as in mathematics; 5) steady-state initialization; and 6) several | ||
+ | user-friendly modeling extensions. Furthermore, the Chi language incorporates | ||
+ | several concepts for complex system specification: 1) process terms for | ||
+ | scoping that integrate abstraction, local variables, local channels and | ||
+ | recursion definitions; 2) process definition and instantiation that enable | ||
+ | process re-use, encapsulation, hierarchical and/or modular composition of | ||
+ | processes; and 3) different interaction mechanisms: handshake synchronization | ||
+ | and synchronous communication for discrete-event processes that do not share | ||
+ | variables, and shared variables for continuous-time processes. The syntax and | ||
+ | semantics are illustrated using many different examples. Furthermore, general | ||
+ | translations from hybrid automata and PWA systems to Chi are given. | ||
+ | |||
+ | //Journal of Logic and Algebraic Programming//, special issue on hybrid systems, | ||
+ | vol. 68, no. 1-2, 129-210, 2006. | ||
+ | |||
+ | [[http://dx.doi.org/10.1016/j.jlap.2005.10.005|Article directly from Elsevier via DOI link]]\\ | ||
+ | \\ | ||
+ | {{jlap05.pdf|pdf preprint}} |