A Synthesis Algorithm for Hybrid Systems

DOI10.1007/978-3-540-72734-7_18zbMATH Open1132.93330OpenAlexW1573205384MaRDI QIDQ5434512

Srikanth Gottipati, Anil Nerode

Publication date: 4 January 2008

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72734-7_18

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (3)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Hierarchical synthesis system with hybrid DLO‐MOGA optimization

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The algorithmic analysis of hybrid systems 👍 👎
• An algebraic approach to hybrid systems 👍 👎
• An algebra of hybrid systems 👍 👎
• Algorithmic analysis of nonlinear hybrid systems 👍 👎
• Adaptive Algorithm of Parametric Synthesis of Hybrid Dynamical Systems 👍 👎
• Relational Methods in Computer Science 👍 👎

This page was built for publication: A Synthesis Algorithm for Hybrid Systems

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