Reconciling urgency and variable abstraction in a hybrid compositional setting

DOI10.1007/978-3-642-15297-9_6MaRDI QIDQ3588083zbMATH OpenOpenAlexFDO

Authors D. A. van Beek, J. Markovski, D. E. Nadales Agut, Jacobus E. Rooda, P. J. L. Cuijpers

Publication date 10 September 2010

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-15297-9_6

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Publication:4934622
• Abstractions for hybrid systems
• scientific article; zbMATH DE number 1794388
• Compositional abstractions of hybrid control systems
• scientific article; zbMATH DE number 2085342

Cited in

(5)

• scientific article; zbMATH DE number 1390333 (Why is no real title available?)
• Repairing time-determinism in the process algebra for hybrid systems
• scientific article; zbMATH DE number 1794388 (Why is no real title available?)
• Asynchronous correspondences between hybrid trajectory semantics
• Variable handling and compositionality: comparing DRT and DTS

Describes a project that uses

Uses Software

• HyTech
• IF-2.0
• MoDeST

This page was built for publication: Reconciling urgency and variable abstraction in a hybrid compositional setting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3588083)