190
H. Sibai et al.
19. Fan, C., Qi, B., Mitra, S., Viswanathan, M., Duggirala, P.S.: Automatic reachability analysis
for nonlinear hybrid models with C2E2. In: Computer Aided Verification - 28th International
Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. pp.
531–538 (2016). https://doi.org/10.1007/978-3-319-41528-4_29
20. G’erard, L., Slotine, J.J.E.: Neuronal networks and controlled symmetries, a generic framework (2006)
21. Hartmanns,
A.,
Seidl,
M.:
tacas20ae.ova.
figshare
(2019).
https://doi.org/10.6084/m9.figshare.9699839.v2
22. Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What’s decidable about hybrid automata?
Journal of Computer and System Sciences 57(1), 94 – 124 (1998), http://www.sciencedirect.
com/science/article/pii/S0022000098915811
23. Johnson, T., Mitra, S.: A small model theorem for rectangular hybrid automata networks
(2012)
24. Kushner, T., Bequette, B.W., Cameron, F., Forlenza, G.P., Maahs, D.M., Sankaranarayanan,
S.: Models, devices, properties, and verification of artificial pancreas systems. In: Automated
Reasoning for Systems Biology and Medicine, pp. 93–131 (2019). https://doi.org/10.1007/9783-030-17297-8_4
25. Mehta, P., Hagen, G., Banaszuk, A.: Symmetry and symmetry-breaking for a wave
equation with feedback. SIAM J. Applied Dynamical Systems 6, 549–575 (01 2007).
https://doi.org/10.1137/060666044
26. Mitra, S.: Verifying Cyberphysical Systems: A path to safe autonomy. To be published by
MIT Press, Cambridge, MA, USA (2020), https://sayanmitracode.github.io/cpsbooksite/
27. Russo, G., Slotine, J.J.E.: Symmetries, stability, and control in nonlinear systems and networks.
Physical Review E 84(4), 041929 (2011)
28. Sibai, H., Mokhlesi, N., Fan, C., Mitra, S.: Cachereach: multi-agent
safety verification using symmetry transformations software tool (2020).
https://doi.org/10.6084/m9.figshare.11874375
29. Sibai, H., Mokhlesi, N., Mitra, S.: Using symmetry transformations in equivariant dynamical
systems for their safety verification. In: Automated Technology for Verification and Analysis.
pp. 1–17 (2019)
30. Spong, M.W., Bullo, F.: Controlled symmetries and passive walking. IEEE Transactions on
Automatic Control 50(7), 1025–1031 (July 2005). https://doi.org/10.1109/TAC.2005.851449
Open Access This chapter is licensed under the terms of the Creative Commons
Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits
use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you
give appropriate credit to the original author(s) and the source, provide a link to the Creative
Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter’s Creative
Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter’s Creative Commons license and your intended
use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain
permission directly from the copyright holder.
H. Sibai et al.
19. Fan, C., Qi, B., Mitra, S., Viswanathan, M., Duggirala, P.S.: Automatic reachability analysis
for nonlinear hybrid models with C2E2. In: Computer Aided Verification - 28th International
Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. pp.
531–538 (2016). https://doi.org/10.1007/978-3-319-41528-4_29
20. G’erard, L., Slotine, J.J.E.: Neuronal networks and controlled symmetries, a generic framework (2006)
21. Hartmanns,
A.,
Seidl,
M.:
tacas20ae.ova.
figshare
(2019).
https://doi.org/10.6084/m9.figshare.9699839.v2
22. Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What’s decidable about hybrid automata?
Journal of Computer and System Sciences 57(1), 94 – 124 (1998), http://www.sciencedirect.
com/science/article/pii/S0022000098915811
23. Johnson, T., Mitra, S.: A small model theorem for rectangular hybrid automata networks
(2012)
24. Kushner, T., Bequette, B.W., Cameron, F., Forlenza, G.P., Maahs, D.M., Sankaranarayanan,
S.: Models, devices, properties, and verification of artificial pancreas systems. In: Automated
Reasoning for Systems Biology and Medicine, pp. 93–131 (2019). https://doi.org/10.1007/9783-030-17297-8_4
25. Mehta, P., Hagen, G., Banaszuk, A.: Symmetry and symmetry-breaking for a wave
equation with feedback. SIAM J. Applied Dynamical Systems 6, 549–575 (01 2007).
https://doi.org/10.1137/060666044
26. Mitra, S.: Verifying Cyberphysical Systems: A path to safe autonomy. To be published by
MIT Press, Cambridge, MA, USA (2020), https://sayanmitracode.github.io/cpsbooksite/
27. Russo, G., Slotine, J.J.E.: Symmetries, stability, and control in nonlinear systems and networks.
Physical Review E 84(4), 041929 (2011)
28. Sibai, H., Mokhlesi, N., Fan, C., Mitra, S.: Cachereach: multi-agent
safety verification using symmetry transformations software tool (2020).
https://doi.org/10.6084/m9.figshare.11874375
29. Sibai, H., Mokhlesi, N., Mitra, S.: Using symmetry transformations in equivariant dynamical
systems for their safety verification. In: Automated Technology for Verification and Analysis.
pp. 1–17 (2019)
30. Spong, M.W., Bullo, F.: Controlled symmetries and passive walking. IEEE Transactions on
Automatic Control 50(7), 1025–1031 (July 2005). https://doi.org/10.1109/TAC.2005.851449
Open Access This chapter is licensed under the terms of the Creative Commons
Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits
use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you
give appropriate credit to the original author(s) and the source, provide a link to the Creative
Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter’s Creative
Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter’s Creative Commons license and your intended
use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain
permission directly from the copyright holder.