A logical DES approach to the design of hybrid control systems

Authors:
J. A. Stiver;P. J. Antsaklis;M. D. Lemmon
Affiliations:
Department of Electrical Engineering University of Notre Dame, Notre Dame, IN 46556, U.S.A.;Department of Electrical Engineering University of Notre Dame, Notre Dame, IN 46556, U.S.A.;Department of Electrical Engineering University of Notre Dame, Notre Dame, IN 46556, U.S.A.
Venue:
Mathematical and Computer Modelling: An International Journal
Year:
1996

Citing 8
Cited 8

Differential automata and their discrete simulators

Non-Linear Analysis
Supervisory control of a class of discrete event processes

SIAM Journal on Control and Optimization
On the supermal controllable sublanguage of a given language

SIAM Journal on Control and Optimization
Analysis of a hybrid system using symbolic dynamics and Petri nets

Automatica (Journal of IFAC)
Inductively inferring valid logical models of continuous-state dynamical systems

Theoretical Computer Science - Special issue on hybrid systems
Models for Hybrid Systems: Automata, Topologies, Controllability, Observability

Hybrid Systems
Hybrid System Modeling and Autonomous Control Systems

Hybrid Systems
A Dynamical Simulation Facility for Hybrid Systems

Hybrid Systems

Timed Petri Nets in Hybrid Systems: Stability and SupervisoryControl

Discrete Event Dynamic Systems
Theory of Optimal Control Using Bisimulations

HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Process modelling for hybrid control

Systems Analysis Modelling Simulation
Learning to coordinate controllers-reinforcement learning on a control basis

IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Deterministic discrete-event representations of linear continuous-variable systems

Automatica (Journal of IFAC)
Bounded amplitude performance of switched LPV systems with applications to hybrid systems

Automatica (Journal of IFAC)
Hybrid life-extending control of mechanical systems: experimental validation of the concept

Automatica (Journal of IFAC)
A discrete-event model of asynchronous quantised systems

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.99

Visualization

Abstract

Hybrid control systems, that is, systems which contain both continuous dynamics and discrete event dynamics are studied in this paper. First, a model is introduced that describes the continuous plant and discrete event controller along with an interface which connects them. A Discrete Event System (DES) automaton description is employed to describe the plant together with the interface and it is used to analyze the hybrid control system. Controllability is defined for hybrid control systems, enhancing existing DES control concepts. It is then used to obtain a controller design method for hybrid control systems.