Rigorous Discretization of Hybrid Systems Using Process Calculi

DOI10.1007/978-3-642-24310-3_21zbMath1348.68109OpenAlexW94719222MaRDI 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

discretizationhybrid systemstimed process calculi

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

This page was built for publication: Rigorous Discretization of Hybrid Systems Using Process Calculi