Contact

Mail Code: 228
266 Coordinated Science Laboratory,
1308 W. Main Street
Urbana, IL 61801
phone: 217 333 7824
fax: 217 244 5685
email:


News

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 ]

Verifying Average Dwell Time of Hybrid Systems. Appeared in ACM Transactions in Embedded Computing Systems, Volume 8, Issue 1, Dec 2008. [.pdf | final]

free web page hit counter
visits

Sayan Mitra

Assistant Professor
Electrical and Computer Engineering
Coordinated Science Laboratory
University of Illinois at Urbana Champaign.

Brief bio. I graduated from MIT in 2007 working in the Theory of Distributed Systems group led by Nancy Lynch. Subsequently, I spent one year at the Center for Mathematics of Information of CalTech as a postdoc.
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

    • 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.


    Teaching

  • Fall 08 ECE598SM1: Modeling and verification of real-time and hybrid systems
  • Spring 09 ECE428/CS425: Distributed Systems


    • Students

  • Taylor Johnson (ECE grad., UIUC)
  • Shashank Gupta (summer intern 2009, IITKgp)


    Conferences


    Consider submitting a paper to the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems SSS 09, which will be in Lyon!