67 citations · 111 across the 5 of their papers we have counts for
4 papers · 1 filter
Declarative vs Rule-based Control for Flocking Dynamics
Usama Mehmood, Nicola Paoletti, Dung Phan +6
The popularity of rule-based flocking models, such as Reynolds' classic flocking model, raises the question of whether more declarative flocking models are possible. This question…
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems
Dung Phan, Junxing Yang, Matthew Clark +4
We present Component-Based Simplex Architecture (CBSA), a new framework for assuring the runtime safety of component-based cyber-physical systems (CPSs). CBSA integrates Assume-Gua…
Model Checking Cyber-Physical Systems using Particle Swarm Optimization
Dung Phan, Scott A. Smolka, Radu Grosu +3
We present a novel approach to the problem of model checking cyber-physical systems. We transform the model checking problem to an optimization one by designing an objective functi…
Attacking the V: On the Resiliency of Adaptive-Horizon MPC
Scott A. Smolka, Ashish Tiwari, Lukas Esterle +3
We introduce the concept of a V-formation game between a controller and an attacker, where controller's goal is to maneuver the plant (a simple model of flocking dynamics) into a V…