scientific article; zbMATH DE number 1822285

zbMATH Open1104.93010MaRDI QIDQ4780233

Helmut Melcher

Publication date: 3 November 2002

Full work available at URL: http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8265-9763-3

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02)

Related Items (2)

Integrating discrete controller synthesis into a reactive programming language compiler ⋮ Title not available (Why is that?)

Recommendations

• Compositional abstractions of hybrid control systems 👍 👎
• Compositional and symbolic synthesis of reactive controllers for multi-agent systems 👍 👎
• Compositional abstraction refinement for control synthesis 👍 👎
• Dynamic hierarchical reactive controller synthesis 👍 👎
• Compositional Synthesis with Parametric Reactive Controllers 👍 👎
• A Compositional Framework for Controller Synthesis 👍 👎
• Compositional Control Synthesis for Partially Observable Systems 👍 👎
• Hierarchically consistent control systems 👍 👎
• Compositional Synthesis of Reactive Controllers for Multi-agent Systems 👍 👎
• Compositional Supervisory Control via Reactive Synthesis and Automated Planning 👍 👎

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 Q4780233)