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 23 articles )

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

1 2 next

  1. Moehle, Nicholas; Boyd, Stephen: A perspective-based convex relaxation for switched-affine optimal control (2015)
  2. Kobayashi, Koichi: Discussion on: “Theory and computation of discrete state space decompositions for hybrid systems” (2013)
  3. Sanfelice, Ricardo G.; Teel, Andrew R.: Dynamical properties of hybrid systems simulators (2010)
  4. Alessio, Alessandro; Bemporad, Alberto: A survey on explicit model predictive control (2009)
  5. Di Cairano, S.; Bemporad, A.; Júlvez, J.: Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics (2009)
  6. Magnani, Alessandro; Boyd, Stephen P.: Convex piecewise-linear fitting (2009)
  7. 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)
  8. Geyer, Tobias; Torrisi, Fabio D.; Morari, Manfred: Optimal complexity reduction of polyhedral piecewise affine systems (2008)
  9. Menchinelli, P.; Bemporad, A.: Hybrid model predictive control of a solar air conditioning plant (2008)
  10. Zhang, Guofeng; Chen, Xiang; Chen, Tongwen: A mixed-integer programming approach to networked control systems (2008)
  11. Asarin, Eugene; Dang, Thao; Girard, Antoine: Hybridization methods for the analysis of nonlinear systems (2007)
  12. Mari, Federico; Tronci, Enrico: CEGAR based bounded model checking of discrete time hybrid systems (2007)
  13. Papafotiou, Georgios; Geyer, Tobias; Morari, Manfred: A hybrid model predictive control approach to the direct torque control problem of induction motors (2007)
  14. Potočnik, Boštjan; Mušič, Gašper; Škrjanc, Igor; Zupančič, Borut: Model-based predictive control of hybrid systems: A probabilistic neural-network approach to real-time control (2007)
  15. Bemporad, Alberto; Di Cairano, Stefano; Júlvez, Jorge: Event-based model predictive control and verification of integral continuous-time hybrid automata (2006)
  16. Bemporad, A.; Muñoz de la Peña, D.; Piazzesi, P.: Optimal control of investments for quality of supply improvement in electrical energy distribution networks (2006)
  17. Giorgetti, N.; Bemporad, A.; Tseng, H.E.; Hrovat, D.: Hybrid model predictive control application towards optimal semi-active suspension (2006)
  18. Borrelli, Francesco; Baotić, Mato; Bemporad, Alberto; Morari, Manfred: Dynamic programming for constrained optimal control of discrete-time linear hybrid systems (2005)
  19. Frehse, Goran: PHAVer: Algorithmic verification of hybrid systems past HyTech (2005)
  20. Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L.; Carloni, Luca P.; Passerone, Roberto: Interchange formats for hybrid systems: Review and proposal (2005)

1 2 next

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