The following pages link to PESSOA (Q31945):
Displaying 21 items.
- Symbolic approximate time-optimal control (Q533800) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
- Symbolic control design for monotone systems with directed specifications (Q1679067) (← links)
- Dynamic hierarchical reactive controller synthesis (Q1693821) (← links)
- On distributed symbolic control of interconnected systems under persistency specifications (Q2023566) (← links)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Resource-aware networked control systems under temporal logic specifications (Q2177771) (← links)
- Set-based control for disturbed piecewise affine systems with state and actuation constraints (Q2178184) (← links)
- Fast and guaranteed safe controller synthesis for nonlinear vehicle models (Q2225131) (← links)
- Low-complexity quantized switching controllers using approximate bisimulation (Q2252962) (← links)
- Automated formal synthesis of provably safe digital controllers for continuous plants (Q2303883) (← links)
- First steps toward formal controller synthesis for bipedal robots with experimental implementation (Q2406959) (← links)
- Backstepping controller synthesis and characterizations of incremental stability (Q2439154) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)
- SCOTS (Q2988967) (← links)
- Minimum Attention Controller Synthesis for Omega-Regular Objectives (Q3172849) (← links)
- ROCS (Q4561444) (← links)
- TIRA (Q5239242) (← links)
- pFaces (Q5239246) (← links)
- Guaranteed control of switched control systems using model order reduction and state-space bisection (Q5240150) (← links)
