Reconciling urgency and variable abstraction in a hybrid compositional setting

DOI10.1007/978-3-642-15297-9_6zbMATH Open1290.68084OpenAlexW2128158719MaRDI QIDQ3588083FDOQ3588083

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (5)

• Repairing time-determinism in the process algebra for hybrid systems
• Title not available (Why is that?)
• Asynchronous correspondences between hybrid trajectory semantics
• Variable handling and compositionality: comparing DRT and DTS
• Title not available (Why is that?)

Uses Software

• MoDeST
• IF-2.0
• HyTech

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)