Hong P. Liu

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Topics

Wheeled Mobile Robot

Matlab Simulink

Control Algorithm

Top Venues

Publications

Pu Gao, Hong P. Liu, David P. Gluch
On Modelling, Simulating and Verifying a Decentralized Mission Control Algorithm for a Fleet of Collaborative UAVs. ICCS (2012)
Hong P. Liu, Andrei Ludu
ACE - A Model Centered REU Program Standing on the Three Legs of CSE: Analysis, Computation and Experiment. ICCS (2012)
Hong P. Liu, David P. Gluch
Formal verification of AADL behavior models: a feasibility investigation. ACM Southeast Regional Conference (2009)
Hong P. Liu, David P. Gluch
Templates and automation for temporal query generation. ACM Southeast Regional Conference (2006)