Span-reachability and observability of bilinear hybrid systems

Authors:
Mihály Petreczky;Jan H. van Schuppen
Affiliations:
Maastricht University, P.O. Box 616, 6200 MD Maastricht, The Netherlands;Centrum voor Wiskunde en Informatica (CWI) P.O.Box 94079, 1090GB Amsterdam, The Netherlands
Venue:
Automatica (Journal of IFAC)
Year:
2010

Citing 5
Cited 0

Reachability analysis of dynamical systems having piecewise-constant derivatives

Theoretical Computer Science - Special issue on hybrid systems
Symbolic Reachability Computation for Families of Linear Vector Fields

Journal of Symbolic Computation
Automata, Languages, and Machines

Automata, Languages, and Machines
Introduction to Hybrid Dynamical Systems

Introduction to Hybrid Dynamical Systems
Brief paper: Active mode observability of switching linear systems

Automatica (Journal of IFAC)

Quantified Score

Hi-index	22.14

Visualization

Abstract

The paper presents an algebraic characterization of observability and span-reachability of bilinear hybrid systems without guards, i.e. hybrid systems whose continuous dynamics are determined by bilinear control systems, and whose discrete transitions are triggered externally. The proposed characterization provides necessary and sufficient conditions for observability and span-reachability in terms of rank conditions for generalized observability and controllability matrices. This characterization is useful for the system theory of bilinear hybrid systems, in particular, it is used in the realization theory of bilinear hybrid systems, (Petreczky, 2006).