PESSOA
From MaRDI portal
Software:31945
No author found.
Related Items (21)
An improved algorithm for the control synthesis of nonlinear sampled switched systems ⋮ Minimum Attention Controller Synthesis for Omega-Regular Objectives ⋮ SCOTS ⋮ First steps toward formal controller synthesis for bipedal robots with experimental implementation ⋮ Resource-aware networked control systems under temporal logic specifications ⋮ Set-based control for disturbed piecewise affine systems with state and actuation constraints ⋮ Abstraction-based control synthesis using partial information ⋮ Symbolic control design for monotone systems with directed specifications ⋮ TIRA ⋮ pFaces ⋮ Dynamic hierarchical reactive controller synthesis ⋮ Backstepping controller synthesis and characterizations of incremental stability ⋮ Guaranteed control of switched control systems using model order reduction and state-space bisection ⋮ Fast and guaranteed safe controller synthesis for nonlinear vehicle models ⋮ Low-complexity quantized switching controllers using approximate bisimulation ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Symbolic approximate time-optimal control ⋮ On distributed symbolic control of interconnected systems under persistency specifications ⋮ ROCS ⋮ Automated formal synthesis of provably safe digital controllers for continuous plants ⋮ Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
This page was built for software: PESSOA
