PESSOA

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