Sampled-data control of hybrid systems with discrete inputs and outputs

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Abstract

We address the control synthesis of hybrid systems with discrete inputs, disturbances andoutputs. The control objective is to ensure that the events of the closed-loop system belong to thelanguage of the control requirements. The controller is sampling-based and it is representable by a finitestatemachine.We formalize the control problem and provide a theoretically sound solution. The solutionis based on solving a discrete-event control problem for a finite-state abstraction of the plant.We proposea specific construction for the finite-state abstraction. This construction is not based on discretizing the state-space, but rather on converting the continuous-time hybrid system to a discrete-time one based on sampling. The construction works only for a specific class of hybrid systems. We describe this class of systems and we provide an example of such a system, inspired by an industrial use-case.
LanguageEnglish
Title of host publicationProceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS09), 16-18 September 2009, Zaragoza, Spain
Place of PublicationSpain, Zaragoza
StatePublished - 2009

Fingerprint

Hybrid systems
Sampling
Closed loop systems
Acoustic waves
Controllers

Cite this

Petreczky, M., Collins, P., Beek, van, D. A., Schuppen, van, J. H., & Rooda, J. E. (2009). Sampled-data control of hybrid systems with discrete inputs and outputs. In Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS09), 16-18 September 2009, Zaragoza, Spain Spain, Zaragoza.
Petreczky, M. ; Collins, P. ; Beek, van, D.A. ; Schuppen, van, J.H. ; Rooda, J.E./ Sampled-data control of hybrid systems with discrete inputs and outputs. Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS09), 16-18 September 2009, Zaragoza, Spain. Spain, Zaragoza, 2009.
@inproceedings{96e5847d6cfc42fa850547e63dd8a044,
title = "Sampled-data control of hybrid systems with discrete inputs and outputs",
abstract = "We address the control synthesis of hybrid systems with discrete inputs, disturbances andoutputs. The control objective is to ensure that the events of the closed-loop system belong to thelanguage of the control requirements. The controller is sampling-based and it is representable by a finitestatemachine.We formalize the control problem and provide a theoretically sound solution. The solutionis based on solving a discrete-event control problem for a finite-state abstraction of the plant.We proposea specific construction for the finite-state abstraction. This construction is not based on discretizing the state-space, but rather on converting the continuous-time hybrid system to a discrete-time one based on sampling. The construction works only for a specific class of hybrid systems. We describe this class of systems and we provide an example of such a system, inspired by an industrial use-case.",
author = "M. Petreczky and P. Collins and {Beek, van}, D.A. and {Schuppen, van}, J.H. and J.E. Rooda",
year = "2009",
language = "English",
booktitle = "Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS09), 16-18 September 2009, Zaragoza, Spain",

}

Petreczky, M, Collins, P, Beek, van, DA, Schuppen, van, JH & Rooda, JE 2009, Sampled-data control of hybrid systems with discrete inputs and outputs. in Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS09), 16-18 September 2009, Zaragoza, Spain. Spain, Zaragoza.

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

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS09), 16-18 September 2009, Zaragoza, Spain. Spain, Zaragoza, 2009.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Sampled-data control of 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 - 2009

Y1 - 2009

N2 - We address the control synthesis of hybrid systems with discrete inputs, disturbances andoutputs. The control objective is to ensure that the events of the closed-loop system belong to thelanguage of the control requirements. The controller is sampling-based and it is representable by a finitestatemachine.We formalize the control problem and provide a theoretically sound solution. The solutionis based on solving a discrete-event control problem for a finite-state abstraction of the plant.We proposea specific construction for the finite-state abstraction. This construction is not based on discretizing the state-space, but rather on converting the continuous-time hybrid system to a discrete-time one based on sampling. The construction works only for a specific class of hybrid systems. We describe this class of systems and we provide an example of such a system, inspired by an industrial use-case.

AB - We address the control synthesis of hybrid systems with discrete inputs, disturbances andoutputs. The control objective is to ensure that the events of the closed-loop system belong to thelanguage of the control requirements. The controller is sampling-based and it is representable by a finitestatemachine.We formalize the control problem and provide a theoretically sound solution. The solutionis based on solving a discrete-event control problem for a finite-state abstraction of the plant.We proposea specific construction for the finite-state abstraction. This construction is not based on discretizing the state-space, but rather on converting the continuous-time hybrid system to a discrete-time one based on sampling. The construction works only for a specific class of hybrid systems. We describe this class of systems and we provide an example of such a system, inspired by an industrial use-case.

M3 - Conference contribution

BT - Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS09), 16-18 September 2009, Zaragoza, Spain

CY - Spain, Zaragoza

ER -

Petreczky M, Collins P, Beek, van DA, Schuppen, van JH, Rooda JE. Sampled-data control of hybrid systems with discrete inputs and outputs. In Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS09), 16-18 September 2009, Zaragoza, Spain. Spain, Zaragoza. 2009.