Control of Hybrid Behavioral Automata by Interconnection

Abstract In this paper we present a structure called hybrid behavioral automata (HBA) as a tool to model hybrid systems. One distinct feature of HBA is the classification of the transitions into active and passive ones. With such a classification, it is possible to model unidirectional discrete synchronizations between HBA. Interconnection operations for HBA, total and partial, are defined. In this paper we also pose a control problem for such structure. A solution and some sufficient conditions, under which the solution solves the problem, are presented

[1]  J. M. Schumacher,et al.  Compositionality issues in discrete, continuous, and hybrid systems , 2001 .

[2]  Harry L. Trentelman,et al.  H∞ control in a behavioral context: the full information case , 1999, IEEE Trans. Autom. Control..

[3]  Harry L. Trentelman,et al.  Stabilization, pole placement, and regular implementability , 2002, IEEE Trans. Autom. Control..

[4]  Nancy A. Lynch,et al.  Hybrid I/O automata , 1995, Inf. Comput..

[5]  Gregor von Bochmann,et al.  On the Construction of Submodule Specifications and Communication Protocols , 1983, TOPL.

[6]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[7]  Arjan van der Schaft,et al.  Compatibility of behavior interconnections , 2003, 2003 European Control Conference (ECC).

[8]  A.J. van der Schaft,et al.  Achievable behavior by composition , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[9]  Nancy A. Lynch,et al.  Hybrid I/O Automata Revisited , 2001, HSCC.

[10]  J. Willems.  On interconnections, control, and feedback , 1997, IEEE Trans. Autom. Control..

[11]  J. Lygeros,et al.  A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.