Contact

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


Whats relatively new

Journal article: Verification of Distributed Systems with Local-Global Predicates with Chandy, Go, Pilotto, and White is going to appear in Formal Aspects of Computing. .pdf

Taylor has won the "Most Interesting CPS Research Problem" prize at the RTSS 2009 Ph.D. Student Forum on Cyber-Physical Systems for this position paper. Congratulations!

To appear:Hybrid Cyberphysical System Verification With Simplex Using Discrete Abstractions, with Stanley Bak and Ashley Greer, in 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2010).

Submission:Safe and Stabilizing Distributed Cellular Flows with Taylor and Karthik on a brand new distributed traffic control problem.

Journal article:Verification of periodically controlled hybrid systems, with Wongpiromsarn, Murray, and Lamperski accepted for publication in Special Issue of ACM Trans. on Embedded Computing Sys.

Invited talk at: Caltech Verification and Validation Workshop, September 2009.

Conference paper: Stability of Distributed Algorithms in the face of Incessant Faults with Lee DeVille appeard in the proceedingd of SSS'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

Paper abstract cloud created with wordle
  • 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

  • Spring 10 ECE598SM: Modeling and Verifying Embedded Computing Systems
  • Fall 09 ECE190: Introduction to Computing Systems
  • Spring 09 ECE428/CS425: Distributed Systems
  • Fall 08 ECE598SM1: Modeling and Verification of Real-time and Hybrid 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

  • RTRTS 2010 1st Intl. Workshop on Rewriting Techniques for Real-Time Systems
  • HSCC 2010 13th Intl. Conf. on Hybrid Systems: Computation and Control, Stockholm, Sweden
  • SSS 2009 11th Intl. Symp. on Stabilization, Safety, and Security of Distributed Systems, Lyon, France
  • free web page hit counter
    visits