vanbeek:hchi

This shows you the differences between two versions of the page.

vanbeek:hchi [Wednesday, 19 March 2008 : 15:56:32] |
vanbeek:hchi [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. | ||

+ | |||

+ | //Computing Science Report 04-37//, Eindhoven University of Technology, Department of Mathematics and Computing Science, 2004. | ||

+ | |||

+ | {{hchi.pdf|pdf}} {{hchi.ps|ps}} | ||

+ | |||

+ | This report has been superseded by: | ||

+ | |||

+ | D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers. | ||

+ | [[jlap05|Syntax and Consistent Equation Semantics of Hybrid Chi]]. | ||

+ | Journal of Logic and Algebraic Programming, special issue on hybrid systems, | ||

+ | vol. 68, no. 1-2, 129-210, 2006. | ||

vanbeek/hchi.txt · Last modified: Wednesday, 19 March 2008 : 15:56:32 (external edit)

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International