Bibliography

Ames, A. D.; Xu, X.; Grizzle, J. W. and Tabuada, P. (2017). Control Barrier Function Based Quadratic Programs for Safety Critical Systems. IEEE Transactions on Automatic Control 62, 3861–3876. ↩¹

Athanasopoulos, N. and Jungers, R. M. (2019). Polyhedral path-complete Lyapunov functions. In: 2019 IEEE 58th Conference on Decision and Control (CDC) (IEEE); pp. 3399–3404. ↩¹

Azaki, Z.; Girard, A. and Olaru, S. (2022). Predictive and Symbolic Control: Performance and Safety for Non-linear Systems. IFAC-PapersOnLine 55, 290–295. ↩¹

Baier, C. and Katoen, J.-P. (2008). Principles of Model Checking (MIT Press). ↩¹

Bemporad, A. and Morari, M. (1999). Control of systems integrating logic, dynamics, and constraints. Automatica 35, 407–427. ↩¹

Calbert, J.; Egidio, L. N. and Jungers, R. M. (2024). Smart abstraction based on iterative cover and non-uniform cells, arXiv preprint arXiv:2403.02190. ↩¹ ↩²

Caldwell, T. (1961). On finding minimum routes in a network with turn penalties. Communications of the ACM 4, 107–108. ↩¹

Duret-Lutz, A.; Renault, E.; Colange, M.; Renkin, F.; Gbaguidi Aisse, A.; Schlehuber-Caissier, P.; Medioni, T.; Martin, A.; Dubois, J.; Gillard, C. and Lauko, H. (2022). From Spot 2.0 to Spot 2.10: What's New? In: Proceedings of the 34th International Conference on Computer Aided Verification (CAV), Vol. 13372 of Lecture Notes in Computer Science (Springer); pp. 174–187. ↩¹

Egidio, L. N.; Lima, T. A. and Jungers, R. M. (2022). State-feedback abstractions for optimal control of piecewise-affine systems. In: 2022 IEEE 61st Conference on Decision and Control (CDC) (IEEE). ↩¹

Girard, A.; Pola, G. and Tabuada, P. (2010). Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Transactions on Automatic Control 55, 116–126. ↩¹ ↩²

Grädel, E.; Thomas, W. and Wilke, T. (2002). Automata, Logics, and Infinite Games: A Guide to Current Research. Vol. 2500 of Lecture Notes in Computer Science (Springer). ↩¹

Knuth, D. E. (1977). A generalization of Dijkstra's algorithm. Information Processing Letters 6, 1–5. ↩¹

Legat, B.; Jungers, R. M. and Bouchat, J. (2021). Abstraction-based branch and bound approach to Q-learning for hybrid optimal control. In: Proceedings of the 3rd Conference on Learning for Dynamics and Control (L4DC), Vol. 144 of Proceedings of Machine Learning Research (PMLR); pp. 263–274. ↩¹

Li, Y. and Liu, J. (2020). Robustly complete synthesis of memoryless controllers for nonlinear systems with reach-and-stay specifications. IEEE Transactions on Automatic Control 66, 1199–1206. ↩¹

Nilsson, P.; Hussien, O.; Balkan, A.; Chen, Y.; Ames, A. D.; Grizzle, J. W.; Ozay, N.; Peng, H. and Tabuada, P. (2016). Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Transactions on Control Systems Technology 24, 1294–1307. ↩¹

Reissig, G.; Weber, A. and Rungger, M. (2016). Feedback refinement relations for the synthesis of symbolic controllers. IEEE Transactions on Automatic Control 62, 1781–1796. ↩¹

Rungger, M. and Zamani, M. (2016). SCOTS: A tool for the synthesis of symbolic controllers. In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (HSCC) (ACM); pp. 99–104. ↩¹

Tabuada, P. (2009). Verification and Control of Hybrid Systems: A Symbolic Approach (Springer). ↩¹

Åström, K. J. and Murray, R. M. (2007). Feedback systems. An Introduction for Scientists and Engineers, Karl Johan Aström and Richard M Murray, 27–64. ↩¹