Y. Shokri-Kalandaragh and H.A. Talebi


  1. [1] R. Olfati-Saber and R.M. Murray, Consensus problems in networks of agents with switching topology and time-delays, IEEE Transactions on automatic control, 49, 2004, 1520–1533.
  2. [2] T.A. Henzinger, The theory of hybrid automata, in Inan M.K., Kurshan R.P. (eds.), NATO ASI Series (Series F: Computer and Systems Sciences), Verification of digital and hybrid systems (Springer, Berlin, Heidelberg: Springer, 2000), vol. 170, 265–292.
  3. [3] Z. Huang, C. Fan, A. Mereacre, S. Mitra, and M. Kwiatkowska, Invariant verification of nonlinear hybrid automata networks of cardiac cells, Int. Conf. on Computer Aided Verification, Vienna, Austria, 18–22 July 2014, 373–390.
  4. [4] N. Kekatos, M. Forets, and G. Frehse, Modeling the wind turbine benchmark with PWA hybrid automata (experience report), 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, Pittsburgh, United States, 48(100–113), EPiC Series in Computing, volume 48, 2017.
  5. [5] R. David and H. Alla, Discrete, continuous, and hybrid Petri nets, 2nd ed. (Springer-Verlag Berlin Heidelberg: Springer Science & Business Media, 2010), 117–158, eBook ISBN: 978-3-642-10669-9.
  6. [6] S. Mitra and D. Liberzon, Stability of hybrid automata with average dwell time: an invariant approach, 43rd IEEE Conf. on Decision and Control, 2004 (CDC 2004), Atlantis, Paradise Island, Bahamas, December 14–17, 2004, 1394–1399.
  7. [7] A.N. Michel, L. Hou, and D. Liu, Stability of dynamical systems: continuous, discontinuous, and discrete systems (Birkh¨auser Boston: Springer Science & Business Media, 2008), 508, eBook ISBN: 978-0-8176-4649-3.
  8. [8] W.M. Haddad, V. Chellaboina, and S.G. Nersesov, Impulsive and hybrid dynamical systems: stability, dissipativity, and control, Princeton Series in Applied Mathematics, Princeton University Press, 2006, 496, ISBN: 9781400865246.
  9. [9] G. Silva and R. Vinter, Measure driven differential inclusions, Journal of Mathematical Analysis and Applications, 202, 1996, 727–746.
  10. [10] B. Smith, A. Howard, J.-M. McNew, J. Wang, and M. Egerstedt, Multi-robot deployment and coordination with embedded graph grammars, Autonomous Robots, 26, 2009, 79–98.
  11. [11] M.T. Khan, F.N. Izhar, F. Nasir, M.U. Qadir, and C.W. de Silva, Multi-robot cooperation framework based on artificial immune system, Control and Intelligent Systems, 43(3), 2015, 159–167.
  12. [12] L. Deng, X. Ma, J. Gu, and Y. Li, Multi-robot dynamic formation path planning with improved polyclonal artificial immune algorithm, Control and Intelligent Systems, 42(4), 2014, 1–8.
  13. [13] F. Debbat and L. Adouane, Formation Control And Role Assignment Of Autonomous Mobile Robots In Unstructured Environment, Control and Intelligent Systems, 44(2), 2016, 1–4.
  14. [14] C. Dou, D. Yue, and J.M. Guerrero, Multiagent system-based event-triggered hybrid controls for high-security hybrid energy generation systems, IEEE Transactions on Industrial Informatics, 13, 2017, 584–594.
  15. [15] S. Dashkovskiy and M. Kosmykov, Input-to-state stability of interconnected hybrid systems, Automatica, 49, 2013, 1068–1074.
  16. [16] Y. Chen, W. Li, Y. Guo, and Y. Wu, Dynamic graph hybrid automata: A modeling method for traffic network, 2015 IEEE 18th Int. Conf. on Intelligent Transportation Systems (ITSC), Gran Canaria, Spain, 2015, 1396–1401.
  17. [17] E. ´Abrahám, Modeling and analysis of hybrid systems, Lecture Notes, Theory of Hybrid Systems Informatik 2 Faculty of Mathematics, Computer Science, and Natural Sciences RWTH Aachen University, 2012.
  18. [18] N.M. Enache, S. Mammar, M. Netto, and B. Lusetti, Driver steering assistance for lane-departure avoidance based on hybrid automata and composite Lyapunov function, IEEE Transactions on Intelligent Transportation Systems, 11, 2010, 28–39.
  19. [19] A. Summerville, J. Osborn, and M. Mateas, Charda: Causal hybrid automata recovery via dynamic analysis, arXiv preprint arXiv:1707.03336, 2017.
  20. [20] F. Bouriachi and S. Kechida, Hybrid petri nets and hybrid automata for modeling and control of two adjacent oversaturated intersections, Journal of Control, Automation and Electrical Systems, 27, 2016, 646–657.
  21. [21] J.-M. McNew, E. Klavins, and M. Egerstedt, Solving coverage problems with embedded graph grammars, in Hybrid systems: Computation and control (Springer, Berlin, Heidelberg: Springer, 2007), 413–427.
  22. [22] J.L. Piovesan, C.T. Abdallah, and H.G. Tanner, Modeling multi-agent systems with hybrid interacting dynamics, American Control Conference, 2009 (ACC’09), Missouri, USA, 2009, 3644–3649.

Important Links:

Go Back