Research

Presently I am in graduate school, working with Prof. Sayan Mitra within the Center for Reliable and High-Performance Computing at the Coordinated Science Laboratory of the University of Illinois at Urbana-Champaign.

Research Interests

  • Cyber-physical systems: real-time, embedded control systems and software
  • Hybrid and distributed systems
  • Software engineering, formal methods, and verification
  • Reliability and fault-tolerance
  • Application areas including robotics, power and energy, aerospace

Research Links

Software and Tools

Publications

Journal Articles
[1] Taylor T. Johnson, Sayan Mitra, "Safe and Stabilizing Distributed Multi-Path Cellular Flows", In , vol. , no. , , pp. 1-39, October 2012. ((Under Review) pdf) [bibtex] [abstract]
[2] Taylor T. Johnson, Sayan Mitra, "Safe Flocking in Spite of Actuator Faults using Directional Failure Detectors", In Journal of Nonlinear Systems and Applications, Watam Press Inc., vol. 2, no. 1-2, Waterloo, Ontario, Canada, pp. 73-95, April 2011. (pdf, pdf (publisher), doi) [bibtex] [abstract] [cites]
Conference Papers
[3] Shamina Hossain, Sairaj Dhople, Taylor T. Johnson, "Reachability Analysis of Closed-Loop Switching Power Converters", In Proceedings of the 4th IEEE Power and Energy Conference at Illinois (PECI 2013), Urbana, Illinois, USA, February 2013 (To Appear). (pdf) [bibtex]
[4] Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra, "Static and Dynamic Analysis of Timed Distributed Traces", In Proceedings of the 33rd IEEE Real-Time Systems Symposium (RTSS 2012), San Juan, Puerto Rico, pp. 173-182, December 2012. (pdf) [bibtex] [abstract] [doi] [cites]
[5] Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel Dudley, Richard Scott Erwin, "Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems", Chapter in Proceedings of the 18th International Conference on Formal Methods (FM 2012), Springer Berlin Heidelberg, vol. 7436, Paris, France, pp. 252-266, August 2012. (pdf) [bibtex] [abstract] [doi] [cites]
[6] Taylor T. Johnson, Sayan Mitra, "A Small Model Theorem for Rectangular Hybrid Automata Networks", In Proceedings of the IFIP International Conference on Formal Techniques for Distributed Systems, Joint 14th Formal Methods for Open Object-Based Distributed Systems and 32nd Formal Techniques for Networked and Distributed Systems (FORTE/FMOODS 2012), Stockholm, Sweden, June 2012. (Best Paper Award for DisCoTec, pdf, tool and specification source, tool overview) [bibtex] [abstract] [doi] [cites]
[7] Taylor T. Johnson, Sayan Mitra, "Parameterized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study", In Proceedings of the 3rd ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2012), Beijing, China, pp. 161-170, April 2012. (pdf, source code) [bibtex] [abstract] [doi] [cites]
[8] Taylor T. Johnson, Zhihao Hong, Akash Kapoor, "Design Verification Methods for Switching Power Converters", In Proceedings of the 3rd IEEE Power and Energy Conference at Illinois (PECI 2012), Urbana, Illinois, USA, pp. 1-6, February 2012. (pdf) [bibtex] [abstract] [doi] [cites]
[9] Taylor T. Johnson, Sayan Mitra, Cedric Langbort, "Stability of Digitally Interconnected Linear Systems", In Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC ECC 2011), Orlando, Florida, USA, pp. 2687-2692, December 2011. (pdf) [bibtex] [abstract] [doi] [cites]
[10] Taylor T. Johnson, Albert Hoefel, "Turbo-Alternator Stalling Protection using Available Power Estimate", In Proceedings of the 2nd Annual IEEE Power and Energy Conference at Illinois (PECI 2011), Urbana, Illinois, USA, February 2011. (Best Paper Award, pdf) [bibtex] [abstract] [doi] [cites]
[11] Taylor T. Johnson, Sayan Mitra, "Safe Flocking in Spite of Actuator Faults", Chapter in 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010), Springer Berlin / Heidelberg, vol. 6366, pp. 588-602, September 2010. (pdf) [bibtex] [abstract] [doi] [cites]
[12] Taylor T. Johnson, Sayan Mitra, Karthik Manamcheri, "Safe and Stabilizing Distributed Cellular Flows", In 30th IEEE International Conference on Distributed Computing Systems (ICDCS 2010), Genoa, Italy, pp. 577-578, June 2010. (pdf) [bibtex] [abstract] [doi] [cites]
Theses
[13] Taylor T. Johnson, "Fault-Tolerant Distributed Cyber-Physical Systems: Two Case Studies", Master's thesis, Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign, Urbana, IL 61801, USA, May 2010. (pdf, doi) [bibtex] [abstract] [cites]
Technical Reports
[14] Taylor T. Johnson, Sayan Mitra, "Safe and Stabilizing Distributed Flocking In Spite of Actuator Faults", Technical report, University of Illinois at Urbana-Champaign, no. UILU-ENG-10-2204 (CRHC-10-02), Urbana, IL 61801, USA, May 2010. (pdf) [bibtex]
Other Publications
[15] Taylor T. Johnson, Sayan Mitra, "Handling Failures in Cyber-Physical Systems: Potential Directions", Presented at RTSS 2009 PhD Student Forum, December 2009. (Award for Most Interesting Cyber-Physical Systems Research Problem, pdf (abstract), pdf (slides)) [bibtex] [abstract] [cites]
[16] Taylor T. Johnson, Sayan Mitra, "Power Usage of Time and Event-Triggered Paradigms: A Case Study", Presented at RTAS 2009 Poster Session, April 2009. (pdf (abstract), pdf (poster), source code) [bibtex] [abstract] [cites]
Powered by bibtexbrowser

The entire BiBteX file is available here.

Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.