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.

Journal Publications

• Miroslav Pajic, Shreyas Sundaram, George J. Pappas and Rahul Mangharam, "The Wireless Control Network: A New Approach for Control over Networks", IEEE Transactions on Automatic Control, vol. 56, no. 10, pp. 2305-2318, October 2011.

• Miroslav Pajic, Alexander Chernoguzov and Rahul Mangharam, "Robust Architectures for Embedded Wireless Network Control and Actuation", ACM Transactions on Embedded Computing Systems, To appear.

• Miroslav Pajic and Rahul Mangharam, "Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks", EURASIP Journal on Wireless Communication and Networking, vol. 2010, ID 819318, doi: 10.1155/2010/819318, 2010.

• Jin Hyun Kim, Inhye Kang, Jin-Young Choi and Insup Lee, "Timed and Resource-oriented Statecharts for Embedded Software", IEEE Transactions on Industrial Informatics, vol. 6, no. 4, pp. 568-578, November 2010.

• Rajeev Alur, Alessandro D'Innocenzo, Karl H. Johansson, George J. Pappas, and Gera Weiss, "Compositional Modeling and Analysis of Multi-Hop Control Networks", IEEE Transactions on Automatic Control, vol. 56, no. 10, pp. 2345-2357, October 2011

• Truong Nghiem, George J. Pappas, Rajeev Alur, and Antoine Girard, "Time-triggered implementations of dynamic controllers", ACM Transactions on Embedded Computing Systems, doi:10.1145/2331147.2331168, 2012.

• Miroslav Pajic, Rahul Mangharam, George J. Pappas and Shreyas Sundaram,"Topological Conditions for In-Network Stabilization of Dynamical Systems", IEEE Journal on Selected Areas in Communications, Submitted.

• Konstantinos Gatsis, Alejandro Ribeiro and George J. Pappas,"Optimal power management for wireless control systems", IEEE Transactions on Automatic Control, Submitted.

Conference Publications

• Alessandro D'Innocenzo, Gera Weiss, Rajeev Alur, Alf J. Isaksson, Karl H. Johansson and George J. Pappas, "Scalable Scheduling Algorithms for Wireless Networked Control Systems", in Proceedings of 5th IEEE Conference on Automation Science and Engineering (CASE), 2009.

• Rajeev Alur, Alessandro D'Innocenzo, Karl H. Johansson, George J. Pappas and Gera Weiss, "Modeling and Analysis of Multi-Hop Control Networks", in Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2009.

• Rajeev Alur, Alessandro D'Innocenzo, Karl H. Johansson, George J. Pappas and Gera Weiss, "Robust Stability of Multi-Hop Control Networks", in Proceedings of the 48th IEEE Conference on Decision and Control (CDC), 2009.

• Jerome Le Ny and George J. Pappas, "Robustness Analysis for the Certification of Digital Controller Implementations", in Proceedings of the First International Conference on Cyber-Physical Systems (ICCPS), 2010.

• Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas and Rahul Mangharam, "The Wireless Control Network: Synthesis and Robustness", in Proceedings of the 49th IEEE Conference on Decision and Control (CDC), 2010.

• Shreyas Sundaram, Miroslav Pajic, Christoforos Hadjicostis, Rahul Mangharam and George J. Pappas, "The Wireless Control Network: Monitoring for Malicious Behavior", in Proceedings of the 49th IEEE Conference on Decision and Control (CDC), 2010.

• Rajeev Alur and Ashutosh Trivedi, "Relating Average and Discounted Rewards for Quantitative Analysis of Timed Systems", in Proceedings of the 11th International Conference on Embedded Software (EMSOFT), 2011.

• Miroslav Pajic, Shreyas Sundaram, George J. Pappas and Rahul Mangharam, "Topological Conditions for Wireless Control Networks", in Proceedings of the 50th IEEE Conference on Decision and Control (CDC), 2011.

• Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee and George Pappas, "Reputation-based Networked Control with Data-Corrupting Channels", in Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control (HSCC), 2011.

• Rajeev Alur, Ashutosh Trivedi and D. Wojtczak, "Optimal scheduling for constant-rate multi-mode systems", in Proceedings of the 15th International Conference on Hybrid Systems: Computation and Control (HSCC), 2012.

• Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas and Rahul Mangharam, ""Closing the Loop: A Simple Distributed Method for Control over Wireless Network", in Proceedings of the 11th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), 2012.

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

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