Compositional refinement for hierarchical hybrid systems

DOI10.1007/3-540-45351-2_7MaRDI QIDQ4552455zbMATH OpenFDO

Authors Radu Grosu, Insup Lee, Oleg Sokolsky, Rajeev Alur

Publication date 3 September 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2034/20340033

Mathematics Subject Classification ID

Hierarchical systems (93A13) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Compositional modeling and refinement for hierarchical hybrid systems
• Modular specification of hybrid systems in Charon
• scientific article; zbMATH DE number 2080748
• scientific article; zbMATH DE number 2085342
• Atomic refinement in process description languages

Cited in

(14)

• Hybrid I/O automata.
• Process algebra for hybrid systems
• Syntax and semantics of the compositional interchange format for hybrid systems
• Compositional modeling and refinement for hierarchical hybrid systems
• Modelling and analysing neural networks using a hybrid process algebra
• Assume-guarantee contracts for continuous-time systems
• Hierarchical synthesis system with hybrid DLO‐MOGA optimization
• Model checking learning agent systems using Promela with embedded C code and abstraction
• scientific article; zbMATH DE number 1107556 (Why is no real title available?)
• scientific article; zbMATH DE number 1956632 (Why is no real title available?)
• scientific article; zbMATH DE number 2080748 (Why is no real title available?)
• scientific article; zbMATH DE number 2085331 (Why is no real title available?)
• Modular specification of hybrid systems in Charon
• Modular refinement of hierarchic reactive machines

This page was built for publication: Compositional refinement for hierarchical hybrid systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4552455)