Acta Inform 2021 20;58(5):497-528. Epub 2020 Feb 20.
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China.
The possible interactions between a controller and its environment can naturally be modelled as the arena of a two-player game, and adding an appropriate winning condition permits to specify desirable behavior. The classical model here is the positional game, where both players can (fully or partially) observe the current position in the game graph, which in turn is indicative of their mutual current states. In practice, neither sensing and actuating the environment through physical devices nor data forwarding to and from the controller and signal processing in the controller are instantaneous. Read More