Hybrid Systems: Computation and Control

DOI10.1007/11730637zbMath1178.93067OpenAlexW2478741156MaRDI QIDQ5898988

Marius Kloetzer, Calin Belta

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11730637

Mathematics Subject Classification ID

Feedback control (93B52) Linear systems in control theory (93C05) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

OmegaThreads ⋮ A framework for multi-robot motion planning from temporal logic specifications ⋮ Controller synthesis for safety and reachability via approximate bisimulation ⋮ Low-complexity quantized switching controllers using approximate bisimulation ⋮ Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer ⋮ Temporal logic motion planning for dynamic robots

Uses Software

• SPIN
• LTLCon
• LTL2BA

This page was built for publication: Hybrid Systems: Computation and Control