Search Results - "Torrisi, F.D."
-
1
HYSDEL-a tool for generating computational hybrid models for analysis and synthesis problems
Published in IEEE transactions on control systems technology (01-03-2004)“…This paper presents a computational framework for modeling hybrid systems in discrete-time. We introduce the class of discrete hybrid automata (DHA) and show…”
Get full text
Journal Article -
2
Discrete-time Hybrid Modeling and Verification of the Batch Evaporator Process Benchmark
Published in European journal of control (2001)“…For hybrid systems described by interconnections of linear discrete-time dynamical systems, automata, and propositional logic rules, we recently proposed the…”
Get full text
Journal Article -
3
Optimal complexity reduction of piecewise affine models based on hyperplane arrangements
Published in 2004 American Control Conference Proceedings; Volume 2 of 6 (01-01-2004)“…This work presents an algorithm that, given a piecewise affine (PWA) model, derives an equivalent PWA model that is minimal in the number of regions. The…”
Get full text
Conference Proceeding Journal Article
-
4
Performance driven reachability analysis for optimal scheduling and control of hybrid systems
Published in Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187) (2000)“…We deal with the optimal control problem for piecewise linear and hybrid systems by using a computational approach based on performance-driven reachability…”
Get full text
Conference Proceeding -
5
Discrete-time hybrid modeling and verification
Published in Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) (2001)“…For hybrid systems described by interconnections of linear dynamical systems and logic devices, we recently (A. Bemporad et al., 2000, 2001) proposed mixed…”
Get full text
Conference Proceeding