14 citations · 15 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.MA2017
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…
eess.SY2017★ 1 cited
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…