Controllers for reachability specifications for hybrid systems
From MaRDI portal
controlled invariancecontroller synthesishybrid controllersmultiple control objectivesmultiple specificationsoptimal control
Applications of optimal control and differential games (49N90) Hierarchical systems (93A13) Variable structure systems (93B12) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete event control/observation systems (93C65)
The authors consider the problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives. They present a technique, based on the principles of optimal control, for determining the class of least restrictive controllers that satisfies the most important objective. In the section about controller synthesis, an algorithm for synthesizing hybrid controllers for hybrid automata, when multiple specifications are imposed on the closed-loop system, is described. The application of this algorithm is illustrated by two examples, one hybrid (the steam boiler benchmark problem), and one primarily continuous (a flight vehicle management system with discrete flight modes).
Recommendations
- scientific article; zbMATH DE number 1507213
- Controllability and observability of hybrid systems
- On Controllability of Hybrid Systems
- Control design for specifications on stochastic hybrid systems
- On the controllability of a class of hybrid control systems
- scientific article; zbMATH DE number 1780121
- A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems
- A unified approach to controllability analysis for hybrid control systems
- Controllability criteria for a class of multidimensional hybrid systems
Cited in
(only showing first 100 items - show all)- Approximate equivalence and synchronization of metric transition systems
- Synthesis and viability of minimally interventive legal controllers for hybrid systems
- Identification of piecewise affine systems via mixed-integer programming.
- Robustness of trajectories with finite time extent
- Reachable set bounding for a class of nonlinear time-varying systems with delay
- Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition
- Reachable set estimation for switched linear systems with dwell-time switching
- A topological obstruction in a control problem
- Falsification of combined invariance and reachability specifications in hybrid control systems
- Controllability, reachability, and stabilizability of finite automata: a controllability matrix method
- Control-invariance of hybrid systems with forcible events
- A dynamic game approach to distributionally robust safety specifications for stochastic systems
- On reachability and minimum cost optimal control
- On the regularization of Zeno hybrid automata
- State bounding for time-delay impulsive and switching genetic regulatory networks with exogenous disturbance
- A novel \(\mathcal{L}_1\) adaptive-hybrid control with guaranteed stability for a class of uncertain nonlinear systems: a case study on SA330 Puma
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay
- Viable set computation for hybrid systems
- Safety preserving control synthesis for sampled data systems
- Description of the attainable sets of one-dimensional differential inclusions
- Reach set computation and control synthesis for discrete-time dynamical systems with disturbances
- Robust self-triggered control for time-varying and uncertain constrained systems via reachability analysis
- Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata
- Viability discrimination of a class of control systems on a nonsmooth region
- Model-invariant viability kernel approximation
- On reachable set estimation of singular systems
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Attainability problems under stochastic perturbations
- Barriers and potentially safe sets in hybrid systems: pendulum with non-rigid cable
- Invertibility of switched linear systems
- Optimal persistent disturbance attenuation control for linear hybrid systems
- An optimal control approach to mode generation in hybrid systems
- Digital idle speed control of automotive engines: a safety problem for hybrid systems
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
- A model for stochastic hybrid systems with application to communication networks
- Dynamic programming for constrained optimal control of discrete-time linear hybrid systems
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- A unified approach to controllability analysis for hybrid control systems
- Harvesting control in an integrodifference population model with concave growth term
- Improved results on reachable set estimation of singular systems
- Viability, viscosity, and storage functions in model-predictive control with terminal constraints
- Formal controller synthesis from specifications given by discrete-time hybrid automata
- Multi-objective low-thrust spacecraft trajectory design using reachability analysis
- Cadenced runs of impulse and hybrid control systems
- Zeno hybrid systems
- On the controller synthesis for linear hybrid systems
- Reachability analysis and deterministic global optimization of DAE models
- Computability and dynamical systems
- An adaptive neural network switching control approach of robotic manipulators for trajectory tracking
- Discrete state observability of hybrid systems
- Observer-based control of block-triangular discrete time hybrid automata on a partial order
- Stabilisation and control synthesis of switching systems subject to actuator saturation
- An improved result on reachable set estimation and synthesis of time-delay systems
- Control design for specifications on stochastic hybrid systems
- Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems
- Stabilisation of discrete 2D time switching systems by state feedback control
- Theory and computational techniques for analysis of discrete-time control systems with disturbances
- Linear quadratic networked control of uncertain polytopic systems
- Hybrid systems in automotive electronics design
- Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
- Constrained control of switching systems: a positive invariant approach
- A distributed control algorithm for internal flow management in a multi-zone climate unit
- Automated generation of optimal controllers through model checking techniques
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
- Tracking within a time interval on the basis of data supplied by finite observers
- Hierarchical control of a hybrid solar air conditioning plant
- Theory and computation of discrete state space decompositions for hybrid systems
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems
- scientific article; zbMATH DE number 1301611 (Why is no real title available?)
- scientific article; zbMATH DE number 1303068 (Why is no real title available?)
- scientific article; zbMATH DE number 1303074 (Why is no real title available?)
- Hybrid systems tools for compiling controllers for cyber-physical systems
- Hybrid control synthesis for eventuality specifications using level set methods
- Supervisory target control for hybrid systems
- scientific article; zbMATH DE number 1794383 (Why is no real title available?)
- scientific article; zbMATH DE number 1794387 (Why is no real title available?)
- scientific article; zbMATH DE number 1798192 (Why is no real title available?)
- Formal controller synthesis from hybrid programs
- Hamilton-Jacobi-Bellman equations
- A computational approach to synthesizing guards for hybrid systems
- A ``hybrid approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example
- Robustness of transitions in switched linear systems
- scientific article; zbMATH DE number 2085322 (Why is no real title available?)
- Controller synthesis for hybrid systems with a lower bound on event separation
- Finite controlled invariants for sampled switched systems
- An architectural approach to the analysis, verification and validation of software intensive embedded systems
- Stabilization of switching Takagi--Sugeno systems by switched Lyapunov function
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems
- scientific article; zbMATH DE number 1444367 (Why is no real title available?)
- Towards efficient exact synthesis for linear hybrid systems
- Asynchronous event-triggered observation and control of linear systems via impulsive observers
- Stabilization of discrete-time nonlinear switching systems
- Complete solution of a pursuit-evasion differential game with hybrid evader dynamics
- Stabilizability of linear switching systems
- Non-linear control of electromagnetic valves for camless engines
- Path-following with a bounded-curvature vehicle: a hybrid control approach
- Time-optimal control for discrete-time hybrid automata
- Reachability under uncertainty and measurement noise
- Equivalence of switching linear systems by bisimulation
This page was built for publication: Controllers for reachability specifications for hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1301405)
