Periodically Controlled Hybrid Systems: Verifying A Controller for An Autonomous Vehicle.
Appeared in HSCC`09. [.pdf ]
Verifying Average Dwell Time of Hybrid Systems.
Appeared in ACM Transactions in Embedded Computing Systems, Volume 8, Issue 1, Dec 2008. [.pdf | final]
Distributed, real-time, embedded systems (cyber-physical systems)
Timed, hybrid, probabilistic models and their analyses
Formal methods, automated theorem proving, and deduction
Multi-agent systems, mobile robot coordination
Take a look at
this publications page
for details.
I am looking for bright and motivated PhD students.
If you are interested to work on any of the above, do get in touch.
Consider submitting a paper to the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
SSS 09, which will be in Lyon!