Controlling a Class of Nonlinear Systems on Rectangles

DOI10.1109/TAC.2006.884957zbMath1366.93278OpenAlexW2114578185MaRDI QIDQ5281971

Publication date: 27 July 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2006.884957

Mathematics Subject Classification ID

Sampled-data control/observation systems (93C57) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (55)

Multi-agent planning under local LTL specifications and event-based synchronization ⋮ Stabhyli ⋮ An obstruction to solvability of the reach control problem using affine feedback ⋮ Chattering in the reach control problem ⋮ Model Checking of Biological Systems ⋮ Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ Precise parameter synthesis for stochastic biochemical systems ⋮ Computation of polytopic invariants for polynomial dynamical systems using linear programming ⋮ Flow functions, control flow functions, and the reach control problem ⋮ Safe learning-based model predictive control using the compatible models approach ⋮ Approximating Continuous Systems by Timed Automata ⋮ Augmented finite transition systems as abstractions for control synthesis ⋮ Global dynamics for switching systems and their extensions by linear differential equations ⋮ Controller synthesis for robust invariance of polynomial dynamical systems using linear programming ⋮ Symbolic models for nonlinear time-delay systems using approximate bisimulations ⋮ Comparison of Combinatorial Signatures of Global Network Dynamics Generated by Two Classes of ODE Models ⋮ Least-violating control strategy synthesis with safety rules ⋮ Limited-information control of hybrid systems via reachable set propagation ⋮ Resilient synchronization in robust networked multi-agent systems ⋮ Learning nonlinear hybrid systems ⋮ Mining requirements from closed-loop control models ⋮ On the decidability of stability of hybrid systems ⋮ Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares ⋮ Hybrid control lyapunov functions for the stabilization of hybridsystems ⋮ A toolbox for simulation of hybrid systems in matlab/simulink ⋮ Zélus ⋮ State estimation for polyhedral hybrid systems and applications to the Godunov scheme ⋮ Observer design for a class of piecewise affine hybrid systems ⋮ Automated analysis of real-time scheduling using graph games ⋮ Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets ⋮ One-shot computation of reachable sets for differential games ⋮ Tracking differentiable trajectories across polyhedra boundaries ⋮ Flowpipe approximation and clustering in space-time ⋮ Bounded model-checking of discrete duration calculus ⋮ Optimal CPU allocation to a set of control tasks with soft real--time execution constraints ⋮ Safe schedulability of bounded-rate multi-mode systems ⋮ Compositional heterogeneous abstraction ⋮ Quantitative timed simulation functions and refinement metrics for real-time systems ⋮ Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems ⋮ Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems ⋮ Control design for specifications on stochastic hybrid systems ⋮ Rewarding probabilistic hybrid automata ⋮ Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata ⋮ Specification-guided controller synthesis for linear systems and safe linear-time temporal logic ⋮ Temporal logic model predictive control for discrete-time systems ⋮ Iterative temporal motion planning for hybrid systems in partially unknown environments ⋮ Symbolic models for nonlinear control systems affected by disturbances ⋮ An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications ⋮ Time-constrained temporal logic control of multi-affine systems ⋮ Observability analysis of conewise linear systems via directional derivative and positive invariance techniques ⋮ On algorithmic analysis of transcriptional regulation by LTL model checking ⋮ Hierarchical Hybrid Symbolic Robot Motion Planning and Control ⋮ Combinatorial Representation of Parameter Space for Switching Networks ⋮ Improved delay-dependent stability criteria for linear systems with multiple time-varying delays ⋮ Safe and stabilizing distributed multi-path cellular flows

This page was built for publication: Controlling a Class of Nonlinear Systems on Rectangles