eprintid: 446
rev_number: 11
eprint_status: archive
userid: 7
dir: disk0/00/00/04/46
datestamp: 2011-07-27 09:11:12
lastmod: 2014-07-17 12:15:01
status_changed: 2011-07-27 09:11:12
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Bemporad, Alberto
creators_name: Ferrari-Trecate, Giancarlo
creators_name: Morari, Manfred
creators_id: alberto.bemporad@imtlucca.it
creators_id: 
creators_id: 
title: Observability and controllability of piecewise affine and hybrid systems
ispublished: pub
subjects: QA75
subjects: TJ
divisions: CSA
full_text_status: none
keywords: hybrid systems; interacting linear dynamics; mixed-integer linear programming; numerical tests; piecewise affine systems; propositional logic; automata theory; controllability; formal logic; integer programming; linear programming; observability
abstract: We prove, in a constructive way, the equivalence between piecewise affine systems and a broad class of hybrid systems described by interacting linear dynamics, automata, and propositional logic. By focusing our investigation on the former class, we show through counterexamples that observability and controllability properties cannot be easily deduced from those of the component linear subsystems. Instead, we propose practical numerical tests based on mixed-integer linear programming.
date: 2000-10
date_type: published
publication: IEEE Transactions on Automatic Control
volume: 45
number: 10
publisher: IEEE
pagerange: 1864-1876
id_number: 10.1109/TAC.2000.880987
refereed: TRUE
issn: 0018-9286
official_url: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=880987&isnumber=19074
citation:   Bemporad, Alberto and Ferrari-Trecate, Giancarlo and Morari, Manfred  Observability and controllability of piecewise affine and hybrid systems.  IEEE Transactions on Automatic Control, 45 (10).  pp. 1864-1876.  ISSN 0018-9286      (2000)