Interconnected automata and linear systems: a theoretical framework in discrete-time
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Hybrid System Modeling and Autonomous Control Systems
Hybrid Systems
Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Verification of Hybrid Systems via Mathematical Programming
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Using HYTECH to Verify an Automative Control System
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Control of systems integrating logic, dynamics, and constraints
Automatica (Journal of IFAC)
Hi-index | 0.00 |
In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuous dynamics and emphasis is placed on the nondeterministic nature of the abstracting models. The regulator problem for hybrid systems is formulated for safety specifications and algorithms for control design are presented.