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

    30 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 languageEnglish
    Place of PublicationEindhoven
    PublisherEindhoven University of Technology
    Number of pages52
    Publication statusPublished - 2008

    Publication series

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

    Fingerprint Dive into the research topics of 'A control problem for hybrid systems with discrete inputs and outputs'. Together they form a unique fingerprint.

  • 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 University of Technology.