An improved algorithm for the control synthesis of nonlinear sampled switched systems

DOI10.1007/s10703-017-0305-8zbMath1428.93053OpenAlexW2767678453MaRDI QIDQ1620955

Julien Alexandre dit Sandretto, Laurent Fribourg, Adrien Le Coënt, Alexandre Chapoutot

Publication date: 15 November 2018

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-017-0305-8

zbMATH Keywords

reachabilitynonlinear control systemsnumerical simulationformal methodscontrol system synthesis

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Synthesis problems (93B50) Attainable sets, reachability (93B03) Control/observation systems governed by ordinary differential equations (93C15) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method

Uses Software

• SpaceEx
• ODEIntegrator
• PESSOA
• Flow*
• SCOTS
• GRKLib
• DynIbex

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite controlled invariants for sampled switched systems
• A Lohner-type algorithm for control systems and ordinary differential inclusions
• Switching in systems and control
• Distributed synthesis of state-dependent switching control
• Validated solutions of initial value problems for ordinary differential equations
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
• Validated solutions of initial value problems for parametric ODEs
• Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
• SCOTS
• Solving Ordinary Differential Equations I
• Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
• Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
• Hybrid Systems: Computation and Control

This page was built for publication: An improved algorithm for the control synthesis of nonlinear sampled switched systems