swMATH20123MaRDI QIDQ31945FDOQ31945
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?doid=1967701.1967748
Cited In (46)
- Symbolic approximate time-optimal control
- SCOTS: a tool for the synthesis of symbolic controllers
- Guaranteed control of switched control systems using model order reduction and state-space bisection
- On distributed symbolic control of interconnected systems under persistency specifications
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- Low-complexity quantized switching controllers using approximate bisimulation
- Automated formal synthesis of provably safe digital controllers for continuous plants
- BuDDy
- MATISSE
- LTLCon
- ODEIntegrator
- Backstepping controller synthesis and characterizations of incremental stability
- CoSyma
- GRKLib
- SCOTS
- TuLiP
- ROCS
- Solace
- LTLMoP
- DSSynth
- DryVR
- UPMurphi
- BDD2Implement
- pFaces
- SENSE
- TIRA
- DynIbex
- pFaces
- TIRA
- Abstraction-based control synthesis using partial information
- dtControl
- FaSTrack
- PythonRobotics
- Approximate bisimulation: a bridge between computer science and control theory
- Symbolic control design for monotone systems with directed specifications
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- Resource-aware networked control systems under temporal logic specifications
- FACTEST
- ParNMPC
- pypoman
- First steps toward formal controller synthesis for bipedal robots with experimental implementation
- Dynamic hierarchical reactive controller synthesis
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems
- Fast and guaranteed safe controller synthesis for nonlinear vehicle models
- Minimum Attention Controller Synthesis for Omega-Regular Objectives
This page was built for software: PESSOA
