A model of systems with modes and mode transitions - Beggs, Edwin; Tucker, John V. (Journal of logical and algebraic methods in programming, 2022)
Keywords: Abstract simplicial complexes; Autonomous cars; Mode transitions; Modes of operation; Presheaf of data types; Abstract simplicial complexes; Modes of operation; Presheaf of data types; Autonomous cars; Mode transitions