A model of systems with modes and mode transitions

DOI10.1016/j.jlamp.2022.100774OpenAlexW4220833518MaRDI QIDQ2141292

Edwin J. Beggs, J. V. Tucker

Publication date: 25 May 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2107.06152

zbMATH Keywords

mode transitionsautonomous carsmodes of operationabstract simplicial complexespresheaf of data types

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computability of analog networks
• AN ANALOGUE-DIGITAL CHURCH-TURING THESIS
• Axiomatizing physical experiments as oracles to algorithms
• Amir Pnueli and the dawn of hybrid systems
• A lattice model of secure information flow
• Logical Analysis of Hybrid Systems
• Computability of Operators on Continuous and Discrete Time Streams
• Simplicial Complexes in Complex Systems
• THREE FORMS OF PHYSICAL MEASUREMENT AND THEIR COMPUTABILITY
• Analysis of Zeno behaviors in a class of hybrid systems
• Handbook of Hybrid Systems Control

This page was built for publication: A model of systems with modes and mode transitions