scientific article; zbMATH DE number 6936882

zbMath1395.93398arXiv1704.07124MaRDI QIDQ5375276

Antoine Girard, Pierre-Jean Meyer, Emmanuel Witrant

Publication date: 14 September 2018

Full work available at URL: https://arxiv.org/abs/1704.07124

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Automated systems (robots, etc.) in control theory (93C85)

Related Items (16)

Symbolic abstractions for nonlinear control systems via feedback refinement relation ⋮ Assume-guarantee contracts for continuous-time systems ⋮ Abstraction-based control synthesis using partial information ⋮ Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications ⋮ Characterization, verification and computation of robust controlled invariants for monotone dynamical systems ⋮ Compositional safety rules for inter-triggering hybrid automata ⋮ On the timed temporal logic planning of coupled multi-agent systems ⋮ On distributed symbolic control of interconnected systems under persistency specifications ⋮ Compositional synthesis of finite abstractions for networks of systems: a small-gain approach ⋮ Symbolic control design of nonlinear systems with outputs ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ Lazy controller synthesis for monotone transition systems and directed safety specifications ⋮ Verification of approximate opacity for switched systems: a compositional approach ⋮ Symbolic models for infinite networks of control systems: a compositional approach ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Learning-based symbolic abstractions for nonlinear control systems

This page was built for publication: