Cyber-Physical Systems ( CPS )

1. Foundations of CPS

Selected Journal Publications:

• "Control of Large-Scale Cyber-Physical Systems Through Dimension Reduction,"
  IEEE Transactions on Services Computing (TSC), 2014
• From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play Collaborations.
  IEEE Trans. Parallel Distrib. Syst. 25(3) (2014), 642-652.
• NetSimplex: Controller Fault Tolerance Architecture in Networked Control Systems",
  IEEE Trans. Industrial Informatics 9(1) (2013), 346-356.
• SyRaFa: Synchronous Rate and Frequency Adjustment for Utilization Control in Distributed Real-Time Embedded Systems",
  IEEE Trans. Parallel Distrib. Syst. 24(5) (2013), 1052-1061.
• "Non-Utilization Bounds and Feasible Regions for Arbitrary Fixed-Priority Policies",
ACM Transactions on Embedded Computing Systems (TECS), 2011,
• "Hardware/Software Partitioning and Pipelined Scheduling on Runtime Reconfigurable FPGAs",
  ACM Transactions on Design Automation of Electronic Systems (TODAES), Vol, 15, Issue 2, 2010
• "ORTEGA: An Efficient and Flexible Online Fault Tolerance Architecture for Real-Time Control Systems"
  IEEE Transactions on Industrial Informatics (TII), Vol 4, No. 4, pp 213-224, 2008( Best Paper Award of IEEE TII 2008 ) (Please see Demo)
• "On theScheduling of Flexible and Reliable Real-Time Control System,"
  Real-Time Systems Journal, Vol. 24, No. 2, pp. 153-169, March 2003

Selected Conference Publications:

• A Feedback Scheduling Framework for Component-Based Soft Real-Time Systems, RTAS 2015
• "Curbing Aggregate Member Flow Burstiness to Bound End-to-End Delay in Networks of TDMA Crossbar Real-Time Switches", IEEE RTSS 2012
  
• Analysis of TDMA Crossbar Real-Time Switch Design for AFDX Networks," IEEE INFOCOM 2012
• "A Real-Time Multicast Routing Scheme for Multi-Hop Switched Fieldbuses", IEEE INFOCOM 2011
• "Reliability Calculus: A Theoretical Framework to Analyze Communication Reliability in Cyber-Physical Systems", ICDCS 2010
• " Online Decentralized Adaptive Optimal Controller Design of CPU Utilization for Distributed Real-Time Embedded Systems, " ACC 2010
• "Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization", IEEE RTSS 2008
• "Online Adaptive Utilization Control for Real-Time Embedded Multiprocessor Systems," IEEE/ACM/IFIP CODES+ISSS 2008
• "ORTEGA: An Efficient and Flexible Software Fault Tolerance Architecture for Real-Time Control Systems", ECRTS 2008
• "A Switch Design for Real-Time Industrial Networks", IEEE RTAS 2008 (Demo)
• "GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications", IEEE RTSS 2007
• "On Non-Utilization Bounds for Arbitrary Fixed Priority Policies", IEEE RTAS 2006

2. Wireless Sensor Networks (WSN)

Selected Conference Publications:

• "Dynamic Packet Length Control in Wireless Sensor Networks"
  IEEE Transactions on Wireless Communications 13(3) (2014), 1172-1181.
• Link Quality Aware Code Dissemination in Wireless Sensor Networks.
  IEEE Trans. Parallel Distrib. Syst. 25(7) (2014), 1776? 1786.
• Data Loss and Reconstruction in Wireless Sensor Networks.
  IEEE Trans. Parallel Distrib. Syst. 25(11) (2014), 2818-2828.
• "Exploiting Concurrency for Efficient Dissemination in Wireless Sensor Networks",
  IEEE Transactions on Parallel and Distributed Systems (TPDS), 2013.
• "Adaptive Calibration for Fusion-based Cyber-Physical Systems",
  ACM Trans. Embedded Comput. Syst. 11(4) (2012), 80.
• "PDA: Privacy-Preserving Data Aggregation for Information Collection",
  ACM Transactions on Sensor Networks (TOSN), 2011
• "A Lightweight and Density-Aware Reprogramming Protocol for Wireless Sensor Networks",
  IEEE Transactions on Mobile Computing (TMC), 2011
• "System-level Calibration for Data Fusion in Wireless Sensor Networks, "
  ACM Transactions on Sensor Networks (ToSN). (accepted for publication, to appear)
• "SenSpire OS: A Predictable, Flexible, and Efficient Operating System for Wireless Sensor Networks",
  IEEE Transactions on Computers, 2011
• "Connectivity-based Skeleton Extraction in Wireless Sensor Networks",
  IEEE Transactions on Parallel and Distributed Systems (TPDS), 2010.
• "Providing OS Support for Wireless Sensor Networks: Challenges and Approaches",
  IEEE Communications Surveys and Tutorials (IEEE COMST), 2010.
• "FIT: AFlexible, LIght-Weight, and Real-Time Scheduling System for Wireless Sensor Platforms",
  IEEE Transactions on Parallel and Distributed Systems (TPDS), 2010.
• "Lightning: A Hard Real-Time, Fast, and Lightweight Low-End Wireless Sensor Election Protocol for Acoustic Event Localization",
  IEEE Transactions on Mobile Computing (TMC), 2008( Selected as the Featured Article of IEEE TMC 2008 May Issue)
• "Optimal Real-Time Sampling Rate Assignment for Wireless Sensor Networks"
  ACM Transactions on Sensor Networks (TOSN), Vol. 2, No. 2, pp. 263-295, May 2006

Selected Conference Publications:

• Generalized Decision Aggregation in Distributed Sensing Systems, RTSS 2014
• Domo: Passive Per-Packet Delay Tomography in Wireless Ad-hoc Network, ICDCS 2014
• "Data Loss and Reconstruction in Sensor Networks," IEEE INFOCOM 2013
• "Link Quality Aware Code Dissemination in Wireless Sensor Networks, " IEEE ICNP 2011
• "System-level Calibration for Fusion-based Wireless Sensor Networks", IEEE RTSS 2010
• "DPLC: Dynamic Packet Length Control in Wireless Sensor Networks", IEEE INFOCOM 2010
• "Adaptive Calibration for Fusion-based Wireless Sensor Networks", IEEE INFOCOM 2010
• "EUL: an Efficient and Universal Localization Method for Wireless Sensor Network", ICDCS 2009
• "Optimal Sampling Rate Assignment with Dynamic Route Selection for Real-Time Wireless Sensor Networks", IEEE RTSS 2008
• "PDA: Privacy-preserving Data Aggregation in Wireless Sensor Networks," IEEE INFOCOM 2007
• "Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors", IEEE RTSS 2004
• "Optimal QoS Sampling Frequency Assignment for Real-Time Wireless Sensor Networks," IEEE RTSS 2003