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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaties (Scopus)

Uittreksel

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.
Originele taal-2Engels
TitelProceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS09), 16-18 September 2009, Zaragoza, Spain
Plaats van productieSpain, Zaragoza
StatusGepubliceerd - 2009

Vingerafdruk

Hybrid systems
Sampling
Closed loop systems
Acoustic waves
Controllers

Citeer dit

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.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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