A logical DES approach to the design of hybrid control systems
type: Item
instance of: scholarly article
title: A logical DES approach to the design of hybrid control systems
zbMATH Open document ID: 0857.93043
DOI: 10.1016/0895-7177(96)00064-7
author: James A. Stiver
author: Panos J. Antsaklis
author: Michael D. Lemmon
published in: Mathematical and Computer Modelling
publication date: 1997-03-12T00:00:00Z
review text: A specialized model for hybrid control system analysis and design purposes is presented. The model describes a system of a certain class of continuous plants, discrete event controllers and interfaces which convert continuous-time signals to sequences of control symbols and vice versa. In general, the model depends on the plant to be controlled, on the control policies available and on the set of goals to be attained. The proposed formal model is general: it is usable to obtain discrete event controllers for a wide class of plants with continuous dynamics. A presentation with simulations and examples illustrates the application of the model and the basic tools from classical control theory and the theory of finite automata to the controller design for hybrid systems.
Mathematics Subject Classification ID: 93B51
Mathematics Subject Classification ID: 93B05
Mathematics Subject Classification ID: 93A30
Mathematics Subject Classification ID: 93C30
zbMATH DE Number: 927167
zbMATH Keywords: hybrid control system
zbMATH Keywords: discrete event
zbMATH Keywords: model
zbMATH Keywords: design
reviewed by: Ingmar Randvee
MaRDI profile type: Publication
full work available at URL: 0895-7177(96)00064-7
OpenAlex ID: W2115329200
cites work: Gaussian neural networks for control function implementation
cites work: Inductively inferring valid logical models of continuous-state dynamical systems
cites work: Differential automata and their discrete simulators
cites work: Hybrid systems
cites work: Analysis of a hybrid system using symbolic dynamics and Petri nets
cites work: Hybrid dynamical systems theory and the Signal language
cites work: Q3222064
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: On the periodicity of symbolic observations of piecewise smooth discrete-time systems
description: scientific article; zbMATH DE number 927167