Y. Shokri-Kalandaragh and H.A. Talebi
[1] R. Olfati-Saber and R.M. Murray, Consensus problems innetworks of agents with switching topology and time-delays,IEEE Transactions on automatic control, 49, 2004, 1520–1533. [2] T.A. Henzinger, The theory of hybrid automata, in Inan M.K.,Kurshan R.P. (eds.), NATO ASI Series (Series F: Computerand Systems Sciences), Verification of digital and hybrid systems (Springer, Berlin, Heidelberg: Springer, 2000), vol. 170,265–292. [3] Z. Huang, C. Fan, A. Mereacre, S. Mitra, and M. Kwiatkowska,Invariant verification of nonlinear hybrid automata networksof cardiac cells, Int. Conf. on Computer Aided Verification,Vienna, Austria, 18–22 July 2014, 373–390. [4] N. Kekatos, M. Forets, and G. Frehse, Modeling the windturbine benchmark with PWA hybrid automata (experiencereport), 4th International Workshop on Applied Verificationof Continuous and Hybrid Systems, Pittsburgh, United States,48(100–113), EPiC Series in Computing, volume 48, 2017. [5] R. David and H. Alla, Discrete, continuous, and hybrid Petrinets, 2nd ed. (Springer-Verlag Berlin Heidelberg: SpringerScience & Business Media, 2010), 117–158, eBook ISBN:978-3-642-10669-9. [6] S. Mitra and D. Liberzon, Stability of hybrid automata withaverage dwell time: an invariant approach, 43rd IEEE Conf.on Decision and Control, 2004 (CDC 2004), Atlantis, ParadiseIsland, Bahamas, December 14–17, 2004, 1394–1399. [7] A.N. Michel, L. Hou, and D. Liu, Stability of dynamical systems:continuous, discontinuous, and discrete systems (Birkh¨auserBoston: Springer Science & Business Media, 2008), 508, eBookISBN: 978-0-8176-4649-3. [8] W.M. Haddad, V. Chellaboina, and S.G. Nersesov, Impulsiveand hybrid dynamical systems: stability, dissipativity, andcontrol, Princeton Series in Applied Mathematics, PrincetonUniversity Press, 2006, 496, ISBN: 9781400865246. [9] G. Silva and R. Vinter, Measure driven differential inclusions,Journal of Mathematical Analysis and Applications, 202, 1996,727–746. [10] B. Smith, A. Howard, J.-M. McNew, J. Wang, and M.Egerstedt, Multi-robot deployment and coordination with em-bedded graph grammars, Autonomous Robots, 26, 2009, 79–98. [11] M.T. Khan, F.N. Izhar, F. Nasir, M.U. Qadir, and C.W. deSilva, Multi-robot cooperation framework based on artificialimmune system, Control and Intelligent Systems, 43(3), 2015,159–167. [12] L. Deng, X. Ma, J. Gu, and Y. Li, Multi-robot dynamic formation path planning with improved polyclonal artificial immunealgorithm, Control and Intelligent Systems, 42(4), 2014, 1–8. [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] C. Dou, D. Yue, and J.M. Guerrero, Multiagent system-basedevent-triggered hybrid controls for high-security hybrid energy generation systems, IEEE Transactions on IndustrialInformatics, 13, 2017, 584–594. [15] S. Dashkovskiy and M. Kosmykov, Input-to-state stabilityof interconnected hybrid systems, Automatica, 49, 2013,1068–1074. [16] Y. Chen, W. Li, Y. Guo, and Y. Wu, Dynamic graph hybridautomata: A modeling method for traffic network, 2015 IEEE18th Int. Conf. on Intelligent Transportation Systems (ITSC),Gran Canaria, Spain, 2015, 1396–1401. [17] E. ´Abrah´am, Modeling and analysis of hybrid systems, LectureNotes, Theory of Hybrid Systems Informatik 2 Faculty ofMathematics, Computer Science, and Natural Sciences RWTHAachen University, 2012. [18] N.M. Enache, S. Mammar, M. Netto, and B. Lusetti, Driversteering assistance for lane-departure avoidance based on hybrid automata and composite Lyapunov function, IEEE Trans-actions on Intelligent Transportation Systems, 11, 2010, 28–39. [19] A. Summerville, J. Osborn, and M. Mateas, Charda: Causalhybrid automata recovery via dynamic analysis, arXiv preprintarXiv:1707.03336, 2017. [20] F. Bouriachi and S. Kechida, Hybrid petri nets and hybridautomata for modeling and control of two adjacent over-saturated intersections, Journal of Control, Automation andElectrical Systems, 27, 2016, 646–657. [21] J.-M. McNew, E. Klavins, and M. Egerstedt, Solving coverageproblems with embedded graph grammars, in Hybrid systems: Computation and control (Springer, Berlin, Heidelberg:Springer, 2007), 413–427. [22] J.L. Piovesan, C.T. Abdallah, and H.G. Tanner, Modelingmulti-agent systems with hybrid interacting dynamics, American Control Conference, 2009 (ACC’09), Missouri, USA,2009, 3644–3649.
Important Links:
Go Back