A NOVEL ABSTRACTION METHODOLOGY FOR INTERCONNECTED HYBRID SYSTEMS USING THE EQUIVALENCE CONCEPT

Y. Shokri-Kalandaragh and H.A. Talebi

References

  1. [1] P. Ballarini, H. Djafri, M. Duflot, S. Haddad, and N. Pekergin, “Cosmos: a statistical model checkerfor the hybrid automata stochastic logic,” in Quantitative Evaluation of Systems (QEST), 2011 EighthInternational Conference on. IEEE, 2011, pp. 143–144.
  2. [2] A. Summerville, J. Osborn, and M. Mateas, “Charda: Causal hybrid automata recovery via dynamicanalysis,” arXiv preprint arXiv:1707.03336, 2017.
  3. [3] F. Debbat and L. Adouane, “Formation control and role assignment of autonomous mobile robots inunstructured environment,” Control and Intelligent Systems, vol. 44, no. 2, pp. 1–4, 2016.
  4. [4] F. Bouriachi and S. Kechida, “Hybrid petri nets and hybrid automata for modeling and control of twoadjacent oversaturated intersections,” Journal of Control, Automation and Electrical Systems, vol. 27,no. 6, pp. 646–657, 2016.
  5. [5] Y. Chen, W. Li, Y. Guo, and Y. Wu, “Dynamic graph hybrid automata: A modeling method for trafficnetwork,” in Intelligent Transportation Systems (ITSC), 2015 IEEE 18th International Conference on.IEEE, 2015, pp. 1396–1401.
  6. [6] J.-M. McNew, E. Klavins, and M. Egerstedt, “Solving coverage problems with embedded graph grammars,”in International Workshop on Hybrid Systems: Computation and Control. Springer, 2007, pp.413–427.
  7. [7] J. B. De Sousa and F. L. Pereira, “Real-time hybrid control of multiple autonomous underwater vehicles,”in Decision and Control, 1998. Proceedings of the 37th IEEE Conference on, vol. 3. IEEE,1998, pp. 2645–2649.
  8. [8] K. Fregene, D. Kennedy, and D.Wang, “Hica: A framework for distributed multiagent control,” 2001.
  9. [9] H. Li, F. Karray, O. Basir, and I. Song, “A framework for coordinated control of multiagent systems andits applications,” IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans,vol. 38, no. 3, pp. 534–548, 2008.
  10. [10] M. T. Khan, F. N. Izhar, F. Nasir, M. U. Qadir, and C.W. de Silva, “Multi-robot cooperation frameworkbased on artificial immune system,” Control and Intelligent Systems, vol. 43, no. 3.
  11. [11] T. A. Henzinger, “The theory of hybrid automata,” in Verification of Digital and Hybrid Systems.Springer, 2000, pp. 265–292.
  12. [12] P. Tabuada and G. J. Pappas, “Hybrid abstractions that preserve timed languages,” in InternationalWorkshop on Hybrid Systems: Computation and Control. Springer, 2001, pp. 501–514.
  13. [13] J. E. Cury, B. H. Krogh, and T. Niinomi, “Synthesis of supervisory controllers for hybrid systems basedon approximating automata,” IEEE Transactions on Automatic Control, vol. 43, no. 4, pp. 564–568,1998.
  14. [14] J. Raisch and S. D. O’Young, “Discrete approximation and supervisory control of continuous systems,”IEEE Transactions on Automatic Control, vol. 43, no. 4, pp. 569–573, 1998.
  15. [15] R. Carter and E. M. Navarro-L´opez, “Abstractions of hybrid systems: formal languages to describedynamical behaviour,” IFAC Proceedings Volumes, vol. 44, no. 1, pp. 4552–4557, 2011.
  16. [16] G. E. Fainekos, A. Girard, and G. J. Pappas, “Hierarchical synthesis of hybrid controllers from temporallogic specifications,” in International Workshop on Hybrid Systems: Computation and Control.Springer, 2007, pp. 203–216.
  17. [17] M. s. Boujelben, C. Rekik, and N. Derbel, “A hybrid fuzzy-sliding mode controller for a mobile robot,”International Journal of Modelling, Identification and Control, vol. 25, no. 3, pp. 155–164, 2016.
  18. [18] O. Stursberg, “Supervisory control of hybrid systems based on model abstraction and guided search,”Nonlinear Analysis: Theory, Methods & Applications, vol. 65, no. 6, pp. 1168–1187, 2006.
  19. [19] P. Tabuada, G. J. Pappas, and P. Lima, “Compositional abstractions of hybrid control systems,” Discreteevent dynamic systems, vol. 14, no. 2, pp. 203–238, 2004.
  20. [20] Y. Shokri-Kalandaragh and H. A. Talebi, “Controlled interconnected hybrid systems - a new frameworkfor multi-agent systems,” Mechatronic Systems and Control (formerly Control and IntelligentSystems), Accepted by 16 March 2018.
  21. [21] T. Adamek, C. A. Kitts, and I. Mas, “Gradient-based cluster space navigation for autonomous surfacevessels,” IEEE/ASME Transactions on Mechatronics, vol. 20, no. 2, pp. 506–518, 2015.

Important Links:

Go Back