Compositional modeling and refinement for hierarchical hybrid systems

DOI10.1016/j.jlap.2005.10.004zbMath1088.68098OpenAlexW1983779606MaRDI QIDQ2368695

Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky

Publication date: 28 April 2006

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2005.10.004

zbMATH Keywords

Hybrid systemsFormal methodsCompositional semanticsModel refinement

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (4)

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour ⋮ Trajectory-Based Theory for Hybrid Systems ⋮ Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains ⋮ HYPE: hybrid modelling by composition of flows

Uses Software

• Ptolemy
• Charon

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Statecharts: a visual formalism for complex systems
• Hybrid process algebra
• Process algebra for hybrid systems
• Modular refinement of hierarchic reactive machines
• Modularity for timed and hybrid systems

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