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

Research output: Book/Report › Report › Academic

71 Downloads (Pure)

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.

Original language	English
Place of Publication	Eindhoven
Publisher	Eindhoven University of Technology
Number of pages	52
Publication status	Published - 2008

Publication series

Name	SE report
Volume	2008-13
ISSN (Print)	1872-1567

Access to Document

publishers versionFinal published version, 403 KB

Cite this

@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

Abstract

Publication series

Access to Document

Fingerprint

Cite this