Compositional Thinking in Cyberphysical Systems Theory
Engineering safe and secure cyber-physical systems requires system engineers to develop and maintain a number of model views, both dynamic and static, which can be seen as algebras. We posit that verifying the composition of requirement, behavioral, and architectural models using category theory gives rise to a strictly compositional interpretation of cyber-physical systems theory, which can assist in the modeling and analysis of safety-critical cyber-physical systems.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Enhanced FIWARE-Based Architecture for Cyberphysical Systems With Tiny Machine Learning and Machine Learning Operations: A Case Study on Urban Mobility Systems
The rise of AI and the Internet of Things is accelerating the digital transformation of society. Mobility computing presents specific barriers due to its real-time requirements, decentralization, and connectivity through…
Edge-computingManagementCyberphysical Sequencing for Distributed Asset Management with Broad Traceability
Cyber-Physical systems (CPS) have complex lifecycles involving multiple stakeholders, and the transparency of both hardware and software components' supply chain is opaque at best. This raises concerns for stakeholders w…
Asset ManagementManagementDisentangling Reasoning Capabilities from Language Models with Compositional Reasoning Transformers
This paper presents ReasonFormer, a unified reasoning framework for mirroring the modular and compositional reasoning process of humans in complex decision-making. Inspired by dual-process theory in cognitive science, th…
Decision MakingLearning to play slot cars and Atari 2600 games in just minutes
Machine learning algorithms for controlling devices will need to learn quickly, with few trials. Such a goal can be attained with concepts borrowed from continental philosophy and formalized using tools from the mathemat…
Atari GamesBIG-bench Machine LearningPhilosophyTowards a Theory for Bio - Cyber Physical Systems Modelling
Currently, CyberPhysical Systems (CPS) represents a great challenge for automatic control and smart systems engineering on both theoretical and practical levels. Designing CPS requires approaches involving multidisciplin…