Krook, JonasMalik, RobiMohajerani, SaharFabian, Martin2024-09-222024-09-222023Krook, J., Malik, R., Mohajerani, S., & Fabian, M. (2023). Robust stutter bisimulation for abstraction and controller synthesis with disturbance. Automatica, 160. https://doi.org/10.1016/j.automatica.2023.1113940005-1098https://hdl.handle.net/10289/16942This paper proposes a method to synthesise controllers for cyber-physical systems subjected to disturbances, such that the controlled system satisfies specifications given as linear temporal logic formulas. To solve this problem, a finite-state abstraction of the original system is first constructed, and then a controller is synthesised for the abstraction. Due to the disturbances and uncertainty in the environment, future states cannot be predicted exactly, and the abstraction must take this into account. For this purpose, the robust stutter bisimulation relation is introduced, which preserves the existence of controllers for any given linear temporal logic formula that excludes the next operator. States are related by the robust stutter bisimulation relation if the same target sets can be guaranteed to be reached or avoided under control of some controller, thus ensuring that disturbances have similar effect on paths that start in related states. It is shown that there exists a controller enforcing a linear temporal logic formula for the original system if and only if a controller exists for the abstracted system. The approach is illustrated by a robot navigation example.enAttribution 4.0 International © 2023 The Author(s). Published by Elsevier Ltd. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).http://creativecommons.org/licenses/by/4.0/controller synthesiscyber-physical systemsdisturbanceslinear temporal logicabstractioneess.SYeess.SYcs.SYJournal Article10.1016/j.automatica.2023.1113941873-283640 Engineering4901 Applied Mathematics46 Information and Computing Sciences4007 Control Engineering, Mechatronics and Robotics49 Mathematical Sciences4602 Artificial Intelligence4010 Engineering Practice and Education40 Engineering46 Information and computing sciences49 Mathematical sciences