research
∙
04/23/2023
Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures
Cyber-physical systems (CPSes), such as autonomous vehicles, use sophist...
share
research
∙
07/03/2022
A Formal Framework for Distributed Cyber-Physical Systems
Composition is an important feature of a specification language, as it e...
research
∙
06/08/2022
A Rewriting Framework for Interacting Cyber-Physical Agents
The analysis of cyber-physical systems (CPS) is challenging due to the l...
research
∙
05/25/2022
Runtime Composition Of Systems of Interacting Cyber-Physical Components
We introduce a transition system based specification of cyber-physical s...
research
∙
10/02/2021
A Semantic Model for Interacting Cyber-Physical Systems
We propose a component-based semantic model for Cyber-Physical Systems (...
research
∙
06/17/2021
Intentional Forgetting
Many damaging cybersecurity attacks are enabled when an attacker can acc...
research
∙
05/07/2021
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report
This paper develops a Multiset Rewriting language with explicit time for...
research
∙
10/18/2019
Programming and Symbolic Computation in Maude
Rewriting logic is both a flexible semantic framework within which widel...
research
∙
11/12/2018
Compliance in Real Time Multiset Rewriting Models
The notion of compliance in Multiset Rewriting Models (MSR) has been int...
research
∙
01/12/2018