Rigorous Discretization of Hybrid Systems Using Process Calculi

DOI10.1007/978-3-642-24310-3_21zbMath1348.68109MaRDI QIDQ3172859

Uwe Nestmann, Sven Schneider

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

zbMATH Keywords

discretization; hybrid systems; timed process calculi

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Uses Software

• HySAT
• HyTech

Cites Work

• HySAT: An efficient proof engine for bounded model checking of hybrid systems
• Differential dynamic logic for hybrid systems
• Hybrid I/O automata.
• Hybrid process algebra
• Process algebra for hybrid systems
• HyTech: A model checker for hybrid systems
• Abstractions for hybrid systems
• Almost ASAP semantics: from timed models to timed implementations
• Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
• Foundations of a Compositional Interchange Format for Hybrid Systems
• Hybrid Systems: Computation and Control
• Hierarchical Hybrid Control Synthesis and its Application to a Multiproduct Batch Plant
• Hybrid Systems: Computation and Control
• Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item