Search Results for author:
Found 14 papers, 5 papers with code
A Barrier Certificate-based Simplex Architecture with Application to Microgrids
Furthermore, BC-Simplex features a new automated method for deriving, from the barrier certificate, the conditions for switching between the controllers.
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness
This paper presents a general framework and methods for complete programming and checking of distributed algorithms at a high-level, as in pseudocode languages, but precisely specified and directly executable, as in formal specification languages and practical programming languages, respectively.
Software Engineering Distributed, Parallel, and Cluster Computing
Learning Attribute-Based and Relationship-Based Access Control Policies with Unknown Values
Attribute-Based Access Control (ABAC) and Relationship-based access control (ReBAC) provide a high level of expressiveness and flexibility that promote security and information sharing, by allowing policies to be expressed in terms of attributes of and chains of relationships between entities.
Recursive Rules with Aggregation: A Simple Unified Semantics
We also apply our semantics to a wide range of challenging examples, and show that our semantics is simple and matches the desired results in all cases.
Knowledge of Uncertain Worlds: Programming with Logical Constraints
Programming with logic for sophisticated applications must deal with recursion and negation, which together have created significant challenges in logic, leading to many different, conflicting semantics of rules.
A Decision Tree Learning Approach for Mining Relationship-Based Access Control Policies
Relationship-based access control (ReBAC) provides a high level of expressiveness and flexibility that promotes security and information sharing, by allowing policies to be expressed in terms of chains of relationships between entities.
Cryptography and Security
Neural Simplex Architecture
NSA not only provides safety assurances in the presence of a possibly unsafe neural controller, but can also improve the safety of such a controller in an online setting via retraining, without overly degrading its performance.
Neural State Classification for Hybrid Systems
We introduce the State Classification Problem (SCP) for hybrid systems, and present Neural State Classification (NSC) as an efficient solution technique.
How to Learn a Model Checker
We show how machine-learning techniques, particularly neural networks, offer a very effective and highly efficient solution to the approximate model-checking problem for continuous and hybrid systems, a solution where the general-purpose model checker is replaced by a model-specific classifier trained by sampling model trajectories.
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems
We present Component-Based Simplex Architecture (CBSA), a new framework for assuring the runtime safety of component-based cyber-physical systems (CPSs).
Systems and Control
Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm
We show that English and pseudocode descriptions of algorithms can be captured precisely at a high level, yielding clearer and simpler specifications than ever before.
Distributed, Parallel, and Cluster Computing Programming Languages
Founded Semantics and Constraint Semantics of Logic Rules
Logic rules and inference are fundamental in computer science and have been studied extensively.
Formal Verification of Multi-Paxos for Distributed Consensus
This paper describes formal specification and verification of Lamport's Multi-Paxos algorithm for distributed consensus.
Distributed, Parallel, and Cluster Computing
Demand-Driven Incremental Object Queries
Object queries are essential in information seeking and decision making in vast areas of applications.
