Controllers for reachability specifications for hybrid systems
From MaRDI portal
Publication:1301405
DOI10.1016/S0005-1098(98)00193-9zbMath0943.93043OpenAlexW2165489953WikidataQ127395846 ScholiaQ127395846MaRDI QIDQ1301405
John Lygeros, Claire J. Tomlin, Shankar S. Sastry
Publication date: 10 September 2000
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0005-1098(98)00193-9
optimal controlcontrolled invariancecontroller synthesishybrid controllersmultiple control objectivesmultiple specifications
Applications of optimal control and differential games (49N90) Hierarchical systems (93A13) Discrete event control/observation systems (93C65) 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)
Related Items (98)
Robustness of trajectories with finite time extent ⋮ Hybrid systems in automotive electronics design ⋮ Reachable set bounding for a class of nonlinear time-varying systems with delay ⋮ An improved result on reachable set estimation and synthesis of time-delay systems ⋮ On reachability and minimum cost optimal control ⋮ A stochastic games framework for verification and control of discrete time stochastic hybrid systems ⋮ Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition ⋮ Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems ⋮ Computability and Dynamical Systems ⋮ Reachable set estimation for switched linear systems with dwell-time switching ⋮ Controller synthesis for hybrid systems with a lower bound on event separation ⋮ Linear quadratic networked control of uncertain polytopic systems ⋮ Attainability problems under stochastic perturbations ⋮ A unified approach to controllability analysis for hybrid control systems ⋮ Harvesting control in an integrodifference population model with concave growth term ⋮ Optimization techniques for state-constrained control and obstacle problems ⋮ 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 ⋮ Improved results on reachable set estimation of singular systems ⋮ Optimal paths in weighted timed automata ⋮ Stabilisation and control synthesis of switching systems subject to actuator saturation ⋮ COMPLETE SOLUTION OF A PURSUIT–EVASION DIFFERENTIAL GAME WITH HYBRID EVADER DYNAMICS ⋮ Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis ⋮ Synthesis of optimal controllers for piecewise affine systems with sampled-data switching ⋮ Tracking within a time interval on the basis of data supplied by finite observers ⋮ Viability, viscosity, and storage functions in model-predictive control with terminal constraints ⋮ Barriers and potentially safe sets in hybrid systems: pendulum with non-rigid cable ⋮ Set-based control for disturbed piecewise affine systems with state and actuation constraints ⋮ A topological obstruction in a control problem ⋮ Hierarchical control of a hybrid solar air conditioning plant ⋮ Theory and computation of discrete state space decompositions for hybrid systems ⋮ Sparse optimal control problems with intermediate constraints: Necessary conditions ⋮ Reachable set estimation and decentralized control synthesis of large‐scale switched systems under mixed switching ⋮ State bounding and controller design for genetic regulatory networks with multiple delays and bounded disturbances ⋮ Multi-objective low-thrust spacecraft trajectory design using reachability analysis ⋮ Method for computing exterior and interior approximations to the reachability sets of bilinear differential systems ⋮ Estimation for decentralized safety control under communication delay and measurement uncertainty ⋮ Regularity of optimal solutions and the optimal cost for hybrid dynamical systems via reachability analysis ⋮ Model-based reinforcement learning for approximate optimal control with temporal logic specifications ⋮ Hamilton–Jacobi–Bellman Equations ⋮ Invertibility of switched linear systems ⋮ Optimization of output feedback control under set-membership uncertainty ⋮ Identification of piecewise affine systems via mixed-integer programming. ⋮ Controllability, reachability, and stabilizability of finite automata: a controllability matrix method ⋮ A computational approach to synthesizing guards for hybrid systems ⋮ Cadenced runs of impulse and hybrid control systems ⋮ Zeno hybrid systems ⋮ Constrained control of switching systems: a positive invariant approach ⋮ A distributed control algorithm for internal flow management in a multi-zone climate unit ⋮ Finite controlled invariants for sampled switched systems ⋮ Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay ⋮ An architectural approach to the analysis, verification and validation of software intensive embedded systems ⋮ Generalized solutions of functional differential inclusions ⋮ Path-following with a bounded-curvature vehicle: a hybrid control approach ⋮ On the regularization of Zeno hybrid automata ⋮ Time-optimal control for discrete-time hybrid automata ⋮ Reachability under uncertainty and measurement noise ⋮ Asynchronous event-triggered observation and control of linear systems via impulsive observers ⋮ Stabilization of switching Takagi–Sugeno systems by switched Lyapunov function ⋮ Hybrid automata: an insight into the discrete abstraction of discontinuous systems ⋮ Automated Generation of Optimal Controllers through Model Checking Techniques ⋮ Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems ⋮ Viable set computation for hybrid systems ⋮ Safety preserving control synthesis for sampled data systems ⋮ Stabilization of discrete-time nonlinear switching systems ⋮ Dynamic optimization for reachability problems. ⋮ Failure detection and reconstruction in switched nonlinear systems ⋮ Stabilizability of linear switching systems ⋮ Description of the attainable sets of one-dimensional differential inclusions ⋮ Robustness of transitions in switched linear systems ⋮ Optimal persistent disturbance attenuation control for linear hybrid systems ⋮ Control-invariance of hybrid systems with forcible events ⋮ Dynamical properties of hybrid systems simulators ⋮ An optimal control approach to mode generation in hybrid systems ⋮ Non-linear control of electromagnetic valves for camless engines ⋮ Reach set computation and control synthesis for discrete-time dynamical systems with disturbances ⋮ Equivalence of switching linear systems by bisimulation ⋮ A hybrid control approach to action coordination for mobile robots ⋮ Robust self-triggered control for time-varying and uncertain constrained systems via reachability analysis ⋮ Digital idle speed control of automotive engines: a safety problem for hybrid systems ⋮ Reachability Analysis and Deterministic Global Optimization of DAE Models ⋮ Discrete-time hybrid modeling and verification of the batch evaporator process benchmark ⋮ A dynamic game approach to distributionally robust safety specifications for stochastic systems ⋮ Approximate equivalence and synchronization of metric transition systems ⋮ Optimal run problem for weighted register automata ⋮ Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata ⋮ Stabilisation of discrete 2D time switching systems by state feedback control ⋮ Increasing pursuer capturability by using hybrid dynamics ⋮ Supervisory target control for hybrid systems ⋮ Theory and computational techniques for analysis of discrete-time control systems with disturbances ⋮ Viability discrimination of a class of control systems on a nonsmooth region ⋮ Model-invariant viability kernel approximation ⋮ State bounding for time-delay impulsive and switching genetic regulatory networks with exogenous disturbance ⋮ A model for stochastic hybrid systems with application to communication networks ⋮ Dynamic programming for constrained optimal control of discrete-time linear hybrid systems ⋮ A novel \(\mathcal{L}_1\) adaptive-hybrid control with guaranteed stability for a class of uncertain nonlinear systems: a case study on SA330 Puma ⋮ On reachable set estimation of singular systems
This page was built for publication: Controllers for reachability specifications for hybrid systems
