Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications

DOI10.1016/j.automatica.2021.109712zbMath1478.93375OpenAlexW3171116398MaRDI QIDQ2665343

Giordano Pola, Tommaso Masciulli

Publication date: 19 November 2021

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2021.109712

zbMATH Keywords

nonlinear systemsregular languagessymbolic controlquantized systemsdynamic specifications

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Digital control/observation systems (93C62) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Approximate bisimulation: a bridge between computer science and control theory
• Formal methods for discrete-time dynamical systems
• Verification and Control of Hybrid Systems
• Limited lookahead policies in supervisory control of discrete event systems