Controlling a Class of Nonlinear Systems on Rectangles

DOI10.1109/TAC.2006.884957zbMATH Open1366.93278OpenAlexW2114578185MaRDI QIDQ5281971FDOQ5281971

Authors: Calin Belta, L. C. G. J. M. Habets 

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

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

Cited In (56)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5281971)