This paper presents a method for detecting cyber-attacks in cyber-physical systems using a
monitor. The method employs an abstract model called Tiny Twin, which is built at design …

We propose CRYSTAL framework for automated cybersecurity assurance of cyber-physical
systems (CPS) at design-time and runtime. We build attack models and apply formal …

Recent scientific and technological advances have enabled robotic applications in various
challenging domains, which motivates means to better represent and manage the …

The traditional eight arts include film and dance. Dance is often included in the creation of
films. With the progress of the times, dance has shown unprecedented vitality in film. This …

We propose CRYSTAL framework for automated cybersecurity assurance of cyber-physical
systems (CPS) at design-time and runtime. We build attack models and apply formal …

Failure of safety-critical systems may cause severe injury to humans or the environment. In
order to ensure the safety of such systems, rigorous methods must be used. Formal …

Cyber-Physical Systems (CPS) continuously interact with their physical environments
through software controllers that observe the environments and determine actions …

When outer space becomes a war theater, there will be a substantial impact on all life on
Earth. There will be numerous consequences that will need to be limited and remedied …

Abstract Unified Modeling Language (UML) is recognized as a de facto standard for
modeling various types of systems. However, its lack of formal semantics hinders the ability …