Integrated Design of Symbolic Controllers for Nonlinear Systems
From MaRDI portal
Publication:5352729
DOI10.1109/TAC.2011.2164740zbMath1369.93255MaRDI QIDQ5352729
Maria Domenica Di Benedetto, Alessandro Borri, Giordano Pola
Publication date: 8 September 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Nonlinear systems in control theory (93C10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (8)
Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ Formal controller synthesis from specifications given by discrete-time hybrid automata ⋮ Approximate current state observability of discrete-time nonlinear systems under cyber-attacks ⋮ Lazy Abstraction-Based Controller Synthesis ⋮ Symbolic models for nonlinear control systems affected by disturbances ⋮ Symbolic control design of nonlinear systems with outputs ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ Finite horizon discrete models for multi-agent control systems with coupled dynamics
This page was built for publication: Integrated Design of Symbolic Controllers for Nonlinear Systems
