Quantitative Analysis and Design of Control Networks

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

1. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, and George J. Pappas, "Opportunistic Control Over Shared Wireless Channels", IEEE Transactions on Automatic Control, To appear.
2. Konstantinos Gatsis, Alejandro Ribeiro, and George J. Pappas, Optimal power management for wireless control systems, IEEE Transactions on Automatic Control vol. 59, no. 6, pp. 1495-1510, June 2014.
3. 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, vol. 31, no. 4, pp. 794-807, April 2013.
4. Miroslav Pajic, Alexander Chernoguzov, and Rahul Mangharam, "Robust Architectures for Embedded Wireless Network Control and Actuation", ACM Transactions on Embedded Computing Systems, vol. 11, no. 4, pp. 82:1- 82:24, December 2012.
5. 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.
6. 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.
7. 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.
8. 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
9. 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.

Conference Publications

1. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, and George J. Pappas, "Opportunistic Sensor Scheduling in Wireless Control Systems", 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA 2014.
2. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, and George J. Pappas, "Opportunistic Scheduling of Control Tasks Over Shared Wireless Channels", 5th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany 2014. (Best Paper Award Finalist).
3. Miroslav Pajic, Shreyas Sundaram, and George J. Pappas, "Stabilizability over Deterministic Relay Networks", 52nd IEEE Conference on Decision and Control (CDC), Florence, Italy 2013.
4. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, and George J. Pappas, "Power-aware communication for wireless sensor-actuator systems", 52nd IEEE Conference on Decision and Control (CDC), Florence, Italy 2013.
5. Konstantinos Gatsis, Alejandro Ribeiro, and George J. Pappas, "Optimal Power Management in Wireless Control Systems. ", American Control Conference (ACC), Washington DC, 2013. (2013 ACC Best Student Paper Award, 2014 O. Hugo Schuk Best Paper Award).
6. Fei Miao, Miroslav Pajic, Rahul Mangharam, and George J. Pappas, "Networked Realization of Discrete-Time Controllers", American Control Conference (ACC), Washington DC, 2013.
7. Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, and Rahul Mangharam, "Closing the Loop: A Simple Distributed Method for Control over Wireless Networks", 11th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), Beijing, China, 2012 (Best Presentation Award).
8. Miroslav Pajic, Shreyas Sundaram, George J. Pappas, and Rahul Mangharam, "Topological Conditions for Wireless Control Networks", Proc. of the 50th IEEE Conference on Decision and Control (CDC), Orlando, FL, 2011.
9. Miroslav Pajic, Shreyas Sundaram, George J. Pappas, and Rahul Mangharam, "Network Synthesis for Dynamical System Stabilization", Proc. of the 45th Annual Asilomar Conference on Signals, Systems, and Computers (Asilomar), Pacific Grove, CA, 2011.
10. Miroslav Pajic, Shreyas Sundaram, George J. Pappas, and Rahul Mangharam, "A Simple Distributed Method for Control over Wireless Networks", CPS Week Workshop on Real-Time Wireless for Industrial Applications (RealWIN), Chicago, IL, 2011.
11. Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, and Rahul Mangharam, "The Wireless Control Network: Synthesis and Robustness", Proc. of the 50th IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010.
12. Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, and George J. Pappas, "The Wireless Control Network: Monitoring for Malicious Behavior", Proc. of the 50th IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010.
13. 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.
14. 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.
15. 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.
16. 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.
17. 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.
18. 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.
19. 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.

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.

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