scientific article; zbMATH DE number 1794388

MaRDI QIDQ4552491zbMATH OpenFDO

Authors George Pappas, Paulo Tabuada

Publication date 3 September 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2034/20340501

Mathematics Subject Classification ID

Recommendations

• Compositional abstractions of hybrid control systems
• Refinements of behavioural abstractions for the supervisory control of hybrid systems
• Abstractions for hybrid systems
• scientific article; zbMATH DE number 2085342
• Reconciling urgency and variable abstraction in a hybrid compositional setting

Cited in

(5)

• Theorem of abstraction for equivalent controllers in hybrid systems
• Untimed Language Preservation in Timed Systems
• StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
• Reconciling urgency and variable abstraction in a hybrid compositional setting
• Hybrid languages and temporal logic

This page was built for publication:

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