research
∙
08/30/2023
Benchmarking for Integrating Logic Rules with Everything Else
Integrating logic rules with other language features is increasingly sou...
share
research
∙
05/30/2023
Integrating Logic Rules with Everything Else, Seamlessly
This paper presents a language, Alda, that supports all of logic rules, ...
research
∙
05/30/2022
Programming with rules and everything else, seamlessly
Logic rules are powerful for expressing complex reasoning and analysis p...
research
∙
03/31/2022
Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version)
We introduce the novel concept of Spatial Predictive Control (SPC) to so...
research
∙
02/20/2022
Runtime-Assured, Real-Time Neural Control of Microgrids
We present SimpleMG, a new, provably correct design methodology for runt...
research
∙
02/24/2021
Safe CPS from Unsafe Controllers
In this paper, we explore using runtime verification to design safe cybe...
research
∙
12/18/2020
A Distributed Simplex Architecture for Multi-Agent Systems
We present Distributed Simplex Architecture (DSA), a new runtime assuran...
research
∙
08/22/2020
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness
This paper presents a general framework and methods for complete program...
research
∙
08/19/2020
Learning Attribute-Based and Relationship-Based Access Control Policies with Unknown Values
Attribute-Based Access Control (ABAC) and Relationship-based access cont...
research
∙
07/26/2020
Recursive Rules with Aggregation: A Simple Unified Semantics
Complex reasoning problems are most clearly and easily specified using l...
research
∙
06/01/2020
Learning Distributed Controllers for V-Formation
We show how a high-performing, fully distributed and symmetric neural V-...
research
∙
10/23/2019
Knowledge of Uncertain Worlds: Programming with Logical Constraints
Programming with logic for sophisticated applications must deal with rec...
research
∙
09/24/2019
A Decision Tree Learning Approach for Mining Relationship-Based Access Control Policies
Relationship-based access control (ReBAC) provides a high level of expre...
research
∙
08/26/2019
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers
We show how a distributed flocking controller can be synthesized using d...
research
∙
08/01/2019
Neural Simplex Architecture
We present the Neural Simplex Architecture (NSA), a new approach to runt...
research
∙
04/29/2019
Algorithm Diversity for Resilient Systems
Diversity can significantly increase the resilience of systems, by reduc...
research
∙
03/18/2019
Efficient and Extensible Policy Mining for Relationship-Based Access Control
Relationship-based access control (ReBAC) is a flexible and expressive f...
research
∙
07/26/2018
Neural State Classification for Hybrid Systems
We introduce the State Classification Problem (SCP) for hybrid systems, ...
research
∙
10/27/2017
Declarative vs Rule-based Control for Flocking Dynamics
The popularity of rule-based flocking models, such as Reynolds' classic ...
research
∙
06/20/2016