HYSDEL-a tool for generating computational hybrid models for analysis and synthesis problems

This paper presents a computational framework for modeling hybrid systems in discrete-time. We introduce the class of discrete hybrid automata (DHA) and show its relation with several other existing model paradigms: piecewise affine systems, mixed logical dynamical systems, (extended) linear complementarity systems, min-max-plus-scaling systems. We present HYSDEL (hybrid systems description language), a high-level modeling language for DHA, and a set of tools for translating DHA into any of the former hybrid models. Such a multimodeling capability of HYSDEL is particularly appealing for exploiting a large number of available analysis and synthesis techniques, each one developed for a particular class of hybrid models. An automotive example shows the modeling capabilities of HYSDEL and how the different models allow to use several computational tools.

[1]  P. I. Barton,et al.  Implicit model checking of logic‐based control systems , 1997 .

[2]  Alberto Bemporad,et al.  A Greedy Approach to Identification of Piecewise Affine Models , 2003, HSCC.

[3]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[4]  Alberto Bemporad,et al.  Discrete-time Hybrid Modeling and Verification of the Batch Evaporator Process Benchmark , 2001, Eur. J. Control.

[5]  Manfred Morari,et al.  A clustering technique for the identification of piecewise affine systems , 2001, Autom..

[6]  Calin Belta,et al.  Hybrid Modeling and Simulation of Biomolecular Networks , 2001, HSCC.

[7]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..

[8]  Gautam Mitra,et al.  Tools for reformulating logical forms into zero-one mixed integer programs , 1994 .

[9]  Manfred Morari,et al.  Efficient mode enumeration of compositional hybrid systems , 2003, Int. J. Control.

[10]  Anders Rantzer,et al.  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1997, 1997 European Control Conference (ECC).

[11]  L. Ljung,et al.  Identification of hybrid systems via mixed-integer programming , 2001 .

[12]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[13]  V. Chandru,et al.  Optimization Methods for Logical Inference , 1999 .

[14]  Panos J. Antsaklis,et al.  Results and Perspectives on Computational Methods for Optimal Control of Switched Systems , 2003, HSCC.

[15]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[16]  M. Egerstedt,et al.  On the regularization of Zeno hybrid automata , 1999 .

[17]  R. Raman,et al.  RELATION BETWEEN MILP MODELLING AND LOGICAL INFERENCE FOR CHEMICAL PROCESS SYNTHESIS , 1991 .

[18]  Alfredo C. Desages,et al.  Canonical piecewise-linear approximation of smooth functions , 1998 .

[19]  Alberto Bemporad,et al.  Piecewise linear optimal controllers for hybrid systems , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[20]  Vijay Chandru,et al.  Optimization Methods for Logical Inference: Chandru/Optimization , 1999 .

[21]  João Pedro Hespanha,et al.  Hybrid Modeling of TCP Congestion Control , 2001, HSCC.

[22]  Alberto Bemporad,et al.  Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions , 2003, HSCC.

[23]  Olaf Stursberg,et al.  An assessment of the current status of algorithmic approaches to the verification of hybrid systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[24]  Alberto Bemporad,et al.  Moving horizon estimation for hybrid systems and fault detection , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[25]  Alberto Bemporad,et al.  Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form , 2004, IEEE Transactions on Automatic Control.

[26]  Alberto Bemporad,et al.  A Hybrid Approach to Traction Control , 2001, HSCC.

[27]  Alberto Bemporad,et al.  A hybrid system approach to modeling and optimal control of DISC engines , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[28]  Giancarlo Ferrari-Trecate,et al.  Modeling and control of co-generation power plants: a hybrid system approach , 2002, IEEE Transactions on Control Systems Technology.

[29]  Manfred Morari,et al.  Modeling and control of co-generation power plants: a hybrid system approach , 2004, IEEE Trans. Control. Syst. Technol..

[30]  V. D. Dimitriadis,et al.  Modeling and safety verification of discrete/continuous processing systems , 1997 .

[31]  Domenico Mignone,et al.  Control and estimation of hybrid systems with mathematical optimization , 2002 .

[32]  M. Morari,et al.  Moving horizon estimation for hybrid systems , 2002, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[33]  Panos J. Antsaklis,et al.  Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems , 2000, Proc. IEEE.

[34]  Alberto Bemporad,et al.  A framework for control, fault detection, state estimation, and verification of hybrid systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).