Search Results for author:
Found 9 papers, 3 papers with code
Formal Methods for Autonomous Systems
Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems.
Sensor Placement for Online Fault Diagnosis
Fault diagnosis is the problem of determining a set of faulty system components that explain discrepancies between observed and expected behavior.
A formal process of hierarchical functional requirements development for Set-Based Design
Set-Based Design is a promising approach to complex systems design as it supports alternative exploration and gradual uncertainty reduction.
Categorical semantics of compositional reinforcement learning
However, generating compositional models requires the characterization of minimal assumptions for the robustness of the compositional feature.
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.
Fundamental Challenges of Cyber-Physical Systems Security Modeling
Systems modeling practice lacks security analysis tools that can interface with modeling languages to facilitate security by design.
Cryptography and Security Systems and Control Systems and Control
Data Driven Vulnerability Exploration for Design Phase System Analysis
Applying security as a lifecycle practice is becoming increasingly important to combat targeted attacks in safety-critical systems.
Systems and Control Cryptography and Security Systems and Control
Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis
Today, there is a plethora of software security tools employing visualizations that enable the creation of useful and effective interactive security analyst dashboards.
Human-Computer Interaction Cryptography and Security
A Model-Based Approach to Security Analysis for Cyber-Physical Systems
To construct such a model we produce a taxonomy of attributes; that is, a generalized schema for system attributes.
Cryptography and Security Systems and Control Systems and Control
