67 citations · 121 across the 5 of their papers we have counts for
3 papers · 1 filter
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…