HYSDEL allows modeling a class of hybrid systems described by interconnections of linear dynamic systems, automata, if-then-else and propositional logic rules. Once a hybrid system is modeled in a human-readable fashion, HYSDEL transforms it to the mixed-logical dynamical (MLD) form which can be immediately used for optimization, to solve, e.g., optimal control, safety verification, or estimation and fault detection problems. (Source: http://plato.asu.edu)

References in zbMATH (referenced in 34 articles )

Showing results 1 to 20 of 34.
Sorted by year (citations)

1 2 next

  1. Halbaoui, K.; Belazreg, M.F.; Boukhetala, D.; Belhouchat, M.H.: Modeling and predictive control of nonlinear hybrid systems using mixed logical dynamical formalism (2016)
  2. Moehle, Nicholas; Boyd, Stephen: A perspective-based convex relaxation for switched-affine optimal control (2015)
  3. Di Cairano, Stefano; Heemels, W.P.Maurice H.; Lazar, Mircea; Bemporad, Alberto: Stabilizing dynamic controllers for hybrid systems: a hybrid control Lyapunov function approach (2014)
  4. Kobayashi, Koichi: Discussion on: “Theory and computation of discrete state space decompositions for hybrid systems” (2013)
  5. Bemporad, Alberto; Di Cairano, Stefano: Model-predictive control of discrete hybrid stochastic automata (2011)
  6. Bauer, Kerstin; Schneider, Klaus: From synchronous programs to symbolic representations of hybrid systems (2010)
  7. Sanfelice, Ricardo G.; Teel, Andrew R.: Dynamical properties of hybrid systems simulators (2010)
  8. Alessio, Alessandro; Bemporad, Alberto: A survey on explicit model predictive control (2009)
  9. Di Cairano, S.; Bemporad, A.; Júlvez, J.: Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics (2009)
  10. Magnani, Alessandro; Boyd, Stephen P.: Convex piecewise-linear fitting (2009)
  11. Ocampo-Martinez, Carlos; Puig, Vicenç: Fault-tolerant model predictive control within the hybrid systems framework: application to sewer networks (2009)
  12. Ripaccioli, G.; Bemporad, A.; Assadian, F.; Dextreit, C.; Di Cairano, S.; Kolmanovsky, I.V.: Hybrid modeling, identification, and predictive control: An application to hybrid electric vehicle energy management (2009)
  13. Di Cairano, S.; Lazar, M.; Bemporad, A.; Heemels, W.P.M.H.: A control Lyapunov approach to predictive control of hybrid systems (2008)
  14. Geyer, Tobias; Torrisi, Fabio D.; Morari, Manfred: Optimal complexity reduction of polyhedral piecewise affine systems (2008)
  15. Menchinelli, P.; Bemporad, A.: Hybrid model predictive control of a solar air conditioning plant (2008)
  16. Zhang, Guofeng; Chen, Xiang; Chen, Tongwen: A mixed-integer programming approach to networked control systems (2008)
  17. Asarin, Eugene; Dang, Thao; Girard, Antoine: Hybridization methods for the analysis of nonlinear systems (2007)
  18. di Cairano, S.; Bemporad, A.; Kolmanovsky, I.V.; Hrovat, D.: Model predictive control of magnetically actuated mass spring dampers for automotive applications (2007)
  19. Mari, Federico; Tronci, Enrico: CEGAR based bounded model checking of discrete time hybrid systems (2007)
  20. Papafotiou, Georgios; Geyer, Tobias; Morari, Manfred: A hybrid model predictive control approach to the direct torque control problem of induction motors (2007)

1 2 next

Further publications can be found at: http://control.ee.ethz.ch/index.cgi?page=publications&action=list&publty=all&ifagroup=7