A control problem for hybrid systems with discrete inputs and outputs

M. Petreczky; P. Collins; D.A. Beek, van; J.H. Schuppen, van; J.E. Rooda

A control problem for hybrid systems with discrete inputs and outputs

M. Petreczky, P. Collins, D.A. Beek, van, J.H. Schuppen, van, J.E. Rooda

Onderzoeksoutput: Boek/rapport › Rapport › Academic

61 Downloads (Pure)

Samenvatting

We address the control synthesis of hybrid systems with discrete inputs and outputs. The control objective is to ensure that the events of the closed-loop system belong to the language of the control requirements. The controller is sampling-based and it is representable by a finite-state machine. We formalize the control problem and provide a theoretically sound solution based on finite-state abstractions of the symbolic behavior of the plant. In addition, we identify classes of hybrid systems for which a suitable finite-state abstraction can be computed and we sketch the corresponding algorithms.

Originele taal-2	Engels
Plaats van productie	Eindhoven
Uitgeverij	Eindhoven University of Technology
Aantal pagina's	52
Status	Gepubliceerd - 2008

Publicatie series

Naam	SE report
Volume	2008-13
ISSN van geprinte versie	1872-1567

Toegang tot document

publishers versionDefinitieve gepubliceerde versie, 403 KB

Citeer dit

@book{ff3df76589354a52bb63336abf1d1187,

title = "A control problem for hybrid systems with discrete inputs and outputs",

abstract = "We address the control synthesis of hybrid systems with discrete inputs and outputs. The control objective is to ensure that the events of the closed-loop system belong to the language of the control requirements. The controller is sampling-based and it is representable by a finite-state machine. We formalize the control problem and provide a theoretically sound solution based on finite-state abstractions of the symbolic behavior of the plant. In addition, we identify classes of hybrid systems for which a suitable finite-state abstraction can be computed and we sketch the corresponding algorithms.",

author = "M. Petreczky and P. Collins and {Beek, van}, D.A. and {Schuppen, van}, J.H. and J.E. Rooda",

year = "2008",

language = "English",

series = "SE report",

publisher = "Eindhoven University of Technology",

}

TY - BOOK

T1 - A control problem for hybrid systems with discrete inputs and outputs

AU - Petreczky, M.

AU - Collins, P.

AU - Beek, van, D.A.

AU - Schuppen, van, J.H.

AU - Rooda, J.E.

PY - 2008

Y1 - 2008

N2 - We address the control synthesis of hybrid systems with discrete inputs and outputs. The control objective is to ensure that the events of the closed-loop system belong to the language of the control requirements. The controller is sampling-based and it is representable by a finite-state machine. We formalize the control problem and provide a theoretically sound solution based on finite-state abstractions of the symbolic behavior of the plant. In addition, we identify classes of hybrid systems for which a suitable finite-state abstraction can be computed and we sketch the corresponding algorithms.

AB - We address the control synthesis of hybrid systems with discrete inputs and outputs. The control objective is to ensure that the events of the closed-loop system belong to the language of the control requirements. The controller is sampling-based and it is representable by a finite-state machine. We formalize the control problem and provide a theoretically sound solution based on finite-state abstractions of the symbolic behavior of the plant. In addition, we identify classes of hybrid systems for which a suitable finite-state abstraction can be computed and we sketch the corresponding algorithms.

M3 - Report

T3 - SE report

BT - A control problem for hybrid systems with discrete inputs and outputs

PB - Eindhoven University of Technology

CY - Eindhoven

ER -

A control problem for hybrid systems with discrete inputs and outputs

Samenvatting

Publicatie series

Toegang tot document

Vingerafdruk

Citeer dit