PRECISE  |   ESE Home  |   CIS Home  |   Penn Engineering  |   Penn
CPS: Medium: Quantitative Analysis and Design of Control Networks




Overview

Control networks are wireless substrates for industrial automation control, such as the WirelessHART and Honeywell's OneWireless, and have fundamental differences over their sensor network counterparts as they also include actuation and the physical dynamics. The approach of the project is based on using time-triggered communication and computation as a unifying abstraction for understanding control networks. Time-triggered architectures enable the natural integration of communication, computation, and physical aspects of control networks as switched control systems. The time-triggered abstraction will serve for addressing the following interrelated themes: Optimal Schedules via Quantitative Automata, Quantitative Analysis and Design of Control Networks: Wireless Protocols for Optimal Control: Quantitative Trust Management for Control Networks. Our results will be integrated into control networks that are compatible with both WirelessHART and OneWireless specifications.

Principal Investigators

Post-docs

 

Students

Journal Publications

Conference Publications



Outreach Activities

  • Distinguished Lecture on Closing the loop with Cyber-Physical Modeling, UIUC, March 2011, by Rahul Mangharam.

  • Keynote at 38th International Colloquium on Automata, Languages, and Programming (ICALP), Zurich, Switzerland, July 2011, by Rajeev Alur.

  • Keynote at 30th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Chennai, India, December 2010, by Rajeev Alur.

  • Semi-plenary talk at the 50th IEEE Conference on Decision and Control (CDC) and European Control Conference (ECC) in Orlando, December 2011, by George J. Pappas.

  • Plenary talk at the CPSWEEK 2011 in Chicago, April 2011, by George J. Pappas. CPSWeek brings together five leading conferences - HSCC, ICCPS, IPSN, LCTES, and RTAS on various aspects on the research and development of cyber-physical systems.

  • Semi-plenary talk at the 22nd Chinese Conference on Decision and Control (CCDC), Xuzhou, China, May 2010, by George J. Pappas.

  • Invited keynote at the 7th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Budapest, September 2009, by George J. Pappas.

  • Keynote at the 10th International Workshop on Discrete Event Systems by Rajeev Alur.

  • "Closing the Loop: A Simple Distributed Method for Control over Wireless Networks", IPSN, April 2012 (Best Presentation Award). Presented by Miroslav Pajic.

  • Invited keynote at the 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) in Eindhoven, Netherlands,June 2012, by George J. Pappas.

  • Science keynote at the 2012 NSF CPS PI meeting in Washington, DC, by George J. Pappas.

  • "Formal verification of hybrid systems", 11th International Conference on Embedded Software (EMSOFT), Taipei, Taiwan, October 2011.

  • "Interfaces for control components", 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Aalborg, Denmark, September 2011.

  • "Modeling and verification of embedded software", Programming Languages Mentoring Workshop, Philadelphia, January 2012. This workshop was attended by 150 students from US institutions (ranging from undergrads at community colleges to PhD students at research universities).

  • Distinguished Department Colloquia: University of Illinois at Chicago (Feb 2012), UC San Diego (April 2012), UT Austin (October 2012).

  • The Strachey Lecture, Department of Computer Science, University of Oxford, March 2012.

  • Industrial Outreach

    • 1st Prize in Honeywell User Group OneWireless International Competition, Awarded by Honeywell Process Solutions for innovative use of wireless control in industrial plants, June 2011.

    • "Wireless Control: Current State of the Art and Future Research", NAMUR (International user association of automation technology in process industries) meeting, Invited talk, February 2012. Presented by Miroslav Pajic.

    • "Architecture and Algorithms for the Wireless Controller Cloud", Honeywell Senior Technologists eSeminar, October 2010. Presented by Miroslav Pajic.

    • "The Wireless Control Network: A New Approach for Control over Networks", Multiscale Systems Center (MuSyC) Mid-Year eWorkshop, June 2010. Presented by Miroslav Pajic.

    • "Architecture and Algorithms for the Wireless Controller Cloud", Honeywell Technical Fellows eSeminar,, October 2010. Presented by Rahul Mangharam.



Acknowledgements

National Science Foundation This material is based upon work supported by the National Science Foundation under award CNS-0931239.

PRECISE  |   ESE Home  |   CIS Home  |   Penn Engineering  |   Penn