HYSDEL

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)

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 37 articles )

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

1 2 next

  1. Khorasgani, Hamed; Biswas, Gautam: Mode detection and fault diagnosis in hybrid systems (2019)
  2. Sun, Xiaoqiang; Zhang, Houzhong; Cai, Yingfeng; Wang, Shaohua; Chen, Long: Hybrid modeling and predictive control of intelligent vehicle longitudinal velocity considering nonlinear tire dynamics (2019)
  3. Halbaoui, K.; Belazreg, M. F.; Boukhetala, D.; Belhouchat, M. H.: Modeling and predictive control of nonlinear hybrid systems using mixed logical dynamical formalism (2016)
  4. Hariprasad, K.; Bhartiya, Sharad: A computationally efficient robust tube based MPC for linear switched systems (2016)
  5. Moehle, Nicholas; Boyd, Stephen: A perspective-based convex relaxation for switched-affine optimal control (2015)
  6. 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)
  7. Kobayashi, Koichi: Discussion on: “Theory and computation of discrete state space decompositions for hybrid systems” (2013)
  8. Bemporad, Alberto; Di Cairano, Stefano: Model-predictive control of discrete hybrid stochastic automata (2011)
  9. Bauer, Kerstin; Schneider, Klaus: From synchronous programs to symbolic representations of hybrid systems (2010)
  10. Sanfelice, Ricardo G.; Teel, Andrew R.: Dynamical properties of hybrid systems simulators (2010)
  11. Alessio, Alessandro; Bemporad, Alberto: A survey on explicit model predictive control (2009)
  12. Di Cairano, S.; Bemporad, A.; Júlvez, J.: Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics (2009)
  13. Magnani, Alessandro; Boyd, Stephen P.: Convex piecewise-linear fitting (2009)
  14. Ocampo-Martinez, Carlos; Puig, Vicenç: Fault-tolerant model predictive control within the hybrid systems framework: application to sewer networks (2009)
  15. 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)
  16. Di Cairano, S.; Lazar, M.; Bemporad, A.; Heemels, W. P. M. H.: A control Lyapunov approach to predictive control of hybrid systems (2008)
  17. Geyer, Tobias; Torrisi, Fabio D.; Morari, Manfred: Optimal complexity reduction of polyhedral piecewise affine systems (2008)
  18. Menchinelli, P.; Bemporad, A.: Hybrid model predictive control of a solar air conditioning plant (2008)
  19. Zhang, Guofeng; Chen, Xiang; Chen, Tongwen: A mixed-integer programming approach to networked control systems (2008)
  20. Asarin, Eugene; Dang, Thao; Girard, Antoine: Hybridization methods for the analysis of nonlinear systems (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