Controllers for reachability specifications for hybrid systems
From MaRDI portal
optimal controlcontroller synthesiscontrolled invariancehybrid controllersmultiple control objectivesmultiple specifications
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)
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)- A computational approach to synthesizing guards for hybrid systems
- Dynamical properties of hybrid systems simulators
- Optimal paths in weighted timed automata
- Robustness of trajectories with finite time extent
- Control design for specifications on stochastic hybrid systems
- Zeno hybrid systems
- On the regularization of Zeno hybrid automata
- Hybrid systems tools for compiling controllers for cyber-physical systems
- Optimization techniques for state-constrained control and obstacle problems
- Equivalence of switching linear systems by bisimulation
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- An optimal control approach to mode generation in hybrid systems
- Dynamic programming for constrained optimal control of discrete-time linear hybrid systems
- Estimation for decentralized safety control under communication delay and measurement uncertainty
- Attainability problems under stochastic perturbations
- Automated generation of optimal controllers through model checking techniques
- Failure detection and reconstruction in switched nonlinear systems
- An adaptive neural network switching control approach of robotic manipulators for trajectory tracking
- Stabilization of switching Takagi--Sugeno systems by switched Lyapunov function
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems
- Hierarchical control of a hybrid solar air conditioning plant
- Theory and computation of discrete state space decompositions for hybrid systems
- A dynamic game approach to distributionally robust safety specifications for stochastic systems
- Optimization of output feedback control under set-membership uncertainty
- Control-invariance of hybrid systems with forcible events
- Digital idle speed control of automotive engines: a safety problem for hybrid systems
- Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
- On reachability and minimum cost optimal control
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
- Stabilizability of linear switching systems
- Tracking within a time interval on the basis of data supplied by finite observers
- Harvesting control in an integrodifference population model with concave growth term
- scientific article; zbMATH DE number 1794383 (Why is no real title available?)
- Approximate equivalence and synchronization of metric transition systems
- Complete solution of a pursuit-evasion differential game with hybrid evader dynamics
- Controller synthesis for hybrid systems with a lower bound on event separation
- Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition
- Method for computing exterior and interior approximations to the reachability sets of bilinear differential systems
- Synthesis of optimal controllers for piecewise affine systems with sampled-data switching
- A model for stochastic hybrid systems with application to communication networks
- Reach set computation and control synthesis for discrete-time dynamical systems with disturbances
- Synthesis of controllers for target problems of hybrid systems using approximate computation
- Increasing pursuer capturability by using hybrid dynamics
- A hybrid control approach to action coordination for mobile robots
- Dynamic optimization for reachability problems.
- Stabilisation and control synthesis of switching systems subject to actuator saturation
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Formal controller synthesis from hybrid programs
- Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay
- Constrained control of switching systems: a positive invariant approach
- Computability and dynamical systems
- Stabilisation of discrete 2D time switching systems by state feedback control
- scientific article; zbMATH DE number 2085322 (Why is no real title available?)
- Discrete state observability of hybrid systems
- Generalized solutions of functional differential inclusions
- Supervisory target control for hybrid systems
- Reachable set bounding for a class of nonlinear time-varying systems with delay
- Finite controlled invariants for sampled switched systems
- Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata
- An architectural approach to the analysis, verification and validation of software intensive embedded systems
- Path-following with a bounded-curvature vehicle: a hybrid control approach
- Asynchronous event-triggered observation and control of linear systems via impulsive observers
- Stabilization of discrete-time nonlinear switching systems
- A unified approach to controllability analysis for hybrid control systems
- Identification of piecewise affine systems via mixed-integer programming.
- Theory and computational techniques for analysis of discrete-time control systems with disturbances
- An improved result on reachable set estimation and synthesis of time-delay systems
- Hamilton-Jacobi-Bellman equations
- Invertibility of switched linear systems
- Model-invariant viability kernel approximation
- Optimal persistent disturbance attenuation control for linear hybrid systems
- On reachable set estimation of singular systems
- Cadenced runs of impulse and hybrid control 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
- Viable set computation for hybrid systems
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- A distributed control algorithm for internal flow management in a multi-zone climate unit
- Robustness of transitions in switched linear systems
- A new approach to state bounding for coupled differential-difference equations with bounded disturbances
- Falsification of combined invariance and reachability specifications in hybrid control systems
- On the controller synthesis for linear hybrid systems
- Formal controller synthesis from specifications given by discrete-time hybrid automata
- Viability, viscosity, and storage functions in model-predictive control with terminal constraints
- Reachability analysis and deterministic global optimization of DAE models
- Model-based reinforcement learning for approximate optimal control with temporal logic specifications
- Viability discrimination of a class of control systems on a nonsmooth region
- Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems
- Safety preserving control synthesis for sampled data systems
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems
- Description of the attainable sets of one-dimensional differential inclusions
- Towards efficient exact synthesis for linear hybrid systems
- Robust self-triggered control for time-varying and uncertain constrained systems via reachability analysis
- A ``hybrid approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example
- Sparse optimal control problems with intermediate constraints: Necessary conditions
- Reachable set estimation and decentralized control synthesis of large‐scale switched systems under mixed switching
- Regularity of optimal solutions and the optimal cost for hybrid dynamical systems via reachability analysis
- Controllability, reachability, and stabilizability of finite automata: a controllability matrix method
- Hybrid systems in automotive electronics design
- Multi-objective low-thrust spacecraft trajectory design using reachability analysis
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)
