Flow functions, control flow functions, and the reach control problem
type: Item
instance of: scholarly article
title: Flow functions, control flow functions, and the reach control problem
zbMATH Open document ID: 1378.93020
author: Mohamed K. Helwa
author: Mireille E. Broucke
published in: Automatica
publication date: 2018-01-12T00:00:00Z
Mathematics Subject Classification ID: 93B03
Mathematics Subject Classification ID: 93B17
Mathematics Subject Classification ID: 93C15
Mathematics Subject Classification ID: 93C05
Mathematics Subject Classification ID: 93C85
zbMATH DE Number: 6825329
zbMATH Keywords: reach control problem
zbMATH Keywords: piecewise affine control
zbMATH Keywords: hybrid systems
zbMATH Keywords: Lyapunov function
zbMATH Keywords: equilibrium stability problem
MaRDI profile type: Publication
full work available at URL: j.automatica.2015.02.035
OpenAlex ID: W2023384722
cites work: Stabilization with relaxed controls
cites work: Time-varying affine feedback for reach control on simplices
cites work: Controlling a Class of Nonlinear Systems on Rectangles
cites work: The explicit linear quadratic regulator for constrained systems
cites work: Nonquadratic Lyapunov functions for robust control
cites work: Reach Control on Simplices by Continuous State Feedback
cites work: Reach Control on Simplices by Piecewise Affine Feedback
cites work: Algebraic Necessary and Sufficient Conditions for the Controllability of Conewise Linear Systems
cites work: Q4375488
cites work: The Theory of Max-Min, with Applications
cites work: Controller synthesis for safety and reachability via approximate bisimulation
cites work: Smooth patchy control Lyapunov functions
cites work: Hybrid dynamical systems
cites work: Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
cites work: A control problem for affine dynamical systems on a full-dimensional polytope.
cites work: Monotonic Reach Control on Polytopes
cites work: Controllability and stability
cites work: A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
cites work: Q4401004
cites work: Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
cites work: Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
cites work: Necessary and sufficient conditions for reachability on a simplex
cites work: Stability theory by Liapunov's direct method
cites work: Reach Controllability of Single Input Affine Systems on a Simplex
cites work: A `universal' construction of Artstein's theorem on nonlinear stabilization
cites work: Sufficient Lyapunov-like conditions for stabilization
cites work: Receding Horizon Temporal Logic Planning
cites work: Q5520199
DOI: 10.1016/J.AUTOMATICA.2015.02.035
description: scientific article; zbMATH DE number 6825329