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
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
