Contact
Mail Code: 228 Coordinated Science Laboratory ,
1308 W. Main Street
Whats relatively new
Invited to speak at the
Caltech Verification and Validation Workshop , September 2009.
Self-stabilizing robot formations over unreliable networks .
Appeared in
Special Issue of ACM Trans. on Autonomous and Adaptive Systems , Volume 4, Issue 3, Jul 2009. [
.pdf ]
New paper on
Stability of Distributed Algorithms in the face of Incessant Faults
with Lee DeVille is now
online .
New paper
On Convergence of Concurrent Systems under Regular Interactions
with Pavithra Prabhakar and Mahesh Viswanathan
accepted in
CONCUR'09 .
Joint work with Shivakumar Sastry
on
Hybrid Input/Output Automata for Composable Conveyor Systems
accepted for presentation at
IEEE CASE'09 .
Virtual Infrastructure for Programming Mobile Robots .
Invited talk at
Formal methods for Robotics and Automation Workshop of the
2009 IEEE
International Conference on Robotics and Automation in Kobe, Japan.[
.pdf slides ]
Periodically Controlled Hybrid Systems: Verifying A Controller for An Autonomous Vehicle .
Appeared in HSCC`09. [
.pdf ]
Sayan Mitra
Assistant Professor
Electrical and Computer Engineering
Coordinated Science Laboratory
University of Illinois at Urbana Champaign .
Brief bio. Graduated from MIT in 2007.
Subsequently, one year post-doctoral research at the
Center for Mathematics of Information
of CalTech .
CV (.pdf)
Research
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
See
publications page for details.
I am looking for bright and motivated
PhD students.
Read this if you are interested.
Teaching
Fall 08 ECE598SM1: Modeling and Verification of Real-time and Hybrid Systems
Spring 09 ECE428/CS425: Distributed Systems
Fall 09 ECE190: Introduction to Computing Systems
Students
Taylor Johnson (ECE grad., UIUC)
Karthekeyan, M. S. (ECE grad, UIUC)
Parasara Sridhar Duggirala (CS grad, UIUC)
Shashank Gupta (summer intern 2009, IITKgp)
Current Program Committees
SSS 2009 11th Intl. Symp. on Stabilization, Safety, and Security of Distributed Systems, Lyon, France
HSCC 2010 13th Intl. Conf. on Hybrid Systems: Computation and Control, Stockholm, Sweden
