Rigorous discretization of hybrid systems using process calculi
From MaRDI portal
Publication:3172859
DOI10.1007/978-3-642-24310-3_21zbMATH Open1348.68109OpenAlexW94719222MaRDI QIDQ3172859FDOQ3172859
Publication date: 7 October 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24310-3_21
Recommendations
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- HyTech: A model checker for hybrid systems
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
- Differential dynamic logic for hybrid systems
- Hybrid process algebra
- Process algebra for hybrid systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Foundations of a Compositional Interchange Format for Hybrid Systems
- Almost ASAP semantics: from timed models to timed implementations
- Hybrid I/O automata.
- Priority in process algebra.
- Hybrid Systems: Computation and Control
- Abstractions for hybrid systems
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
- Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Hierarchical Hybrid Control Synthesis and its Application to a Multiproduct Batch Plant
- Model-based engineering of embedded systems using the hybrid process algebra Chi
- Topological (bi-)simulation
- Hybrid Systems: Computation and Control
Cited In (1)
Uses Software
This page was built for publication: Rigorous discretization of hybrid systems using process calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172859)
