An improved algorithm for the control synthesis of nonlinear sampled switched systems
type: Item
instance of: scholarly article
title: An improved algorithm for the control synthesis of nonlinear sampled switched systems
zbMATH Open document ID: 1428.93053
author: Adrien Le Coënt
author: Julien Alexandre dit Sandretto
author: Alexandre Chapoutot
author: Laurent Fribourg
published in: Formal Methods in System Design
publication date: 2018-11-15T00:00:00Z
Mathematics Subject Classification ID: 93C30
Mathematics Subject Classification ID: 93B03
Mathematics Subject Classification ID: 93C15
Mathematics Subject Classification ID: 93B50
Mathematics Subject Classification ID: 93C10
zbMATH DE Number: 6979620
zbMATH Keywords: nonlinear control systems
zbMATH Keywords: reachability
zbMATH Keywords: formal methods
zbMATH Keywords: numerical simulation
zbMATH Keywords: control system synthesis
describes a project that uses: DynIbex
describes a project that uses: Flow*
describes a project that uses: ODEIntegrator
describes a project that uses: SCOTS
describes a project that uses: SpaceEx
describes a project that uses: PESSOA
describes a project that uses: GRKLib
MaRDI profile type: Publication
full work available at URL: s10703-017-0305-8
OpenAlex ID: W2767678453
cites work: Finite controlled invariants for sampled switched systems
cites work: Switching in systems and control
cites work: Hybrid Systems: Computation and Control
cites work: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
cites work: Q5566070
cites work: Validated solutions of initial value problems for ordinary differential equations
cites work: Validated solutions of initial value problems for parametric ODEs
cites work: Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
cites work: Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation
cites work: Q4953388
cites work: Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
cites work: Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
cites work: Feedback Refinement Relations for the Synthesis of Symbolic Controllers
cites work: Q2713275
cites work: Solving Ordinary Differential Equations I
cites work: Q4941400
cites work: A Lohner-type algorithm for control systems and ordinary differential inclusions
cites work: SCOTS
cites work: Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
cites work: Distributed synthesis of state-dependent switching control
cites work: Taming Dr. Frankenstein: contract-based design for cyber-physical systems
DOI: 10.1007/S10703-017-0305-8
Recommended article: Sampling and control of switched linear systems
Recommended article: Sampled‐data control of a class of uncertain switched nonlinear systems in nonstrict‐feedback form
Recommended article: A new method for control of nonlinear state-dependent switched systems
Recommended article: Stability analysis of nonlinear switched systems with sampled-data controllers
Recommended article: Sampled-data control of a class of switched nonlinear systems under asynchronous switching
Recommended article: Robust \(H_\infty\) control of switched nonlinear systems under sampled data
Recommended article: Synthesis of optimal controllers for piecewise affine systems with sampled-data switching
Recommended article: Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach
Recommended article: Q4901683
Recommended article: Control synthesis of switched systems
description: scientific article; zbMATH DE number 6979620