Control of rectangular multi-affine hybrid systems

L.C.G.J.M. Habets, M. Kloetzer, C. Belta

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

    16 Citations (Scopus)
    1 Downloads (Pure)

    Abstract

    We study the problem of feedback control for a class of non-linear hybrid systems characterized by rectangular invariants and multi-affine dynamics, which we call Rectangular Multi-Affine Hybrid Systems. The goal is to find initial states and feedback control strategies so that all trajectories of the closed loop system satisfy arbitrary specifications given as temporal logic formulas over the set of discrete states of the system. Sufficient conditions for solvability are obtained in terms of sets of linear inequalities. If these conditions are satisfied, a control strategy is automatically constructed. The computation consists of polyhedral set operations, construction of B¨uchi automata from linear temporal logic formulas, and searches on graphs.
    Original languageEnglish
    Title of host publicationProceedings 45th IEEE Conference on Decision and Control (CDC'06, San Diego CA, USA, December 13-15, 2006)
    PublisherInstitute of Electrical and Electronics Engineers
    Pages2619-2624
    ISBN (Print)1-4244-0171-2
    Publication statusPublished - 2006

    Fingerprint Dive into the research topics of 'Control of rectangular multi-affine hybrid systems'. Together they form a unique fingerprint.

    Cite this