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/ReportReportAcademic

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.
LanguageEnglish
Place of PublicationEindhoven
PublisherEindhoven University of Technology
Number of pages52
StatePublished - 2008

Publication series

NameSE report
Volume2008-13
ISSN (Print)1872-1567

Fingerprint

Hybrid systems
Finite automata
Closed loop systems
Acoustic waves
Sampling
Controllers

Cite this

Petreczky, M., Collins, P., Beek, van, D. A., Schuppen, van, J. H., & Rooda, J. E. (2008). A control problem for hybrid systems with discrete inputs and outputs. (SE report; Vol. 2008-13). Eindhoven: Eindhoven University of Technology.
Petreczky, M. ; Collins, P. ; Beek, van, D.A. ; Schuppen, van, J.H. ; Rooda, J.E./ A control problem for hybrid systems with discrete inputs and outputs. Eindhoven : Eindhoven University of Technology, 2008. 52 p. (SE report).
@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",

}

Petreczky, M, Collins, P, Beek, van, DA, Schuppen, van, JH & Rooda, JE 2008, A control problem for hybrid systems with discrete inputs and outputs. SE report, vol. 2008-13, Eindhoven University of Technology, Eindhoven.

A control problem for hybrid systems with discrete inputs and outputs. / Petreczky, M.; Collins, P.; Beek, van, D.A.; Schuppen, van, J.H.; Rooda, J.E.

Eindhoven : Eindhoven University of Technology, 2008. 52 p. (SE report; Vol. 2008-13).

Research output: Book/ReportReportAcademic

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 -

Petreczky M, Collins P, Beek, van DA, Schuppen, van JH, Rooda JE. A control problem for hybrid systems with discrete inputs and outputs. Eindhoven: Eindhoven University of Technology, 2008. 52 p. (SE report).