92 citations · 394 across the 34 of their papers we have counts for
4 papers · 1 filter
A Barrier Certificate-based Simplex Architecture for Systems with Approximate and Hybrid Dynamics
Amol Damare, Shouvik Roy, Roshan Sharma +3
We present Barrier-based Simplex (Bb-Simplex), a new, provably correct design for runtime assurance of continuous dynamical systems. Bb-Simplex is centered around the Simplex contr…
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…
A survey on unmanned aerial vehicle collision avoidance systems
Hung Pham, Scott A. Smolka, Scott D. Stoller +2
Collision avoidance is a key factor in enabling the integration of unmanned aerial vehicle into real life use, whether it is in military or civil application. For a long time there…