𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Compositional modeling and refinement for hierarchical hybrid systems

✍ Scribed by Rajeev Alur; Radu Grosu; Insup Lee; Oleg Sokolsky


Book ID
113720595
Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
255 KB
Volume
68
Category
Article
ISSN
1567-8326

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Extending Timed Automata for Composition
✍ VΓ­ctor Braberman; Alfredo Olivero πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 382 KB

We introduce the notion of Timed I/O Components as Timed Automata "Γ  la" Alur \& Dill where an "admissible" I/O interface is declared. That notion has, what we consider, a key modeling property: non-zeno preservation under syntacticallycheckable "I/O compatibility" among interacting components. Also