Rigorous discretization of hybrid systems using process calculi

DOI10.1007/978-3-642-24310-3_21MaRDI QIDQ3172859zbMATH OpenOpenAlexFDO

Authors Sven Schneider, Uwe Nestmann

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)

Recommendations

• Approximate bisimulation and discretization of hybrid CSP
• Process algebra for hybrid systems
• Continuity controlled hybrid automata
• Hybrid process algebra
• Abstractions for hybrid systems

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 2085322 (Why is no real title available?)
• scientific article; zbMATH DE number 2085340 (Why is no real title available?)
• scientific article; zbMATH DE number 1444347 (Why is no real title available?)
• Abstractions for hybrid systems
• Almost ASAP semantics: from timed models to timed implementations
• Differential dynamic logic for hybrid systems
• Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
• Foundations of a Compositional Interchange Format for Hybrid Systems
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
• Hierarchical Hybrid Control Synthesis and its Application to a Multiproduct Batch Plant
• HySAT: An efficient proof engine for bounded model checking of hybrid systems
• HyTech: A model checker for hybrid systems
• Hybrid I/O automata.
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid process algebra
• Model-based engineering of embedded systems using the hybrid process algebra Chi
• Priority in process algebra.
• Process algebra for hybrid systems
• Topological (bi-)simulation

Cited in

(2)

• Approximate bisimulation and discretization of hybrid CSP
• scientific article; zbMATH DE number 2085340 (Why is no real title available?)

Describes a project that uses

Uses Software

• HySAT
• HyTech

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)