Xenofon D. Koutsoukos

Ali Irmak Ozdagli

Nicholas Potteiger

Proceedings of the 2021 IEEE International Conference on Omni-Layer Intelligent Systems, 2021

Reliable Probability Intervals For Classification Using Inductive Venn Predictors Based on Distance Learning.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Omni-Layer Intelligent Systems, 2021

2020

Resilient Distributed Diffusion in Networks With Adversaries.

[BibT_eX]

[DOI]

IEEE Trans. Signal Inf. Process. over Networks, 2020

Graph-Theoretic Approach for Increasing Participation in Networks With Assorted Resources.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Sci. Eng., 2020

Integrated moving target defense and control reconfiguration for securing Cyber-Physical systems.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2020

URMILA: Dynamically trading-off fog and edge resources for performance and mobility-aware IoT services.

[BibT_eX]

[DOI]

J. Syst. Archit., 2020

Assurance Monitoring of Cyber-Physical Systems with Machine Learning Components.

[BibT_eX]

[DOI]

CoRR, 2020

Systems Science of Secure and Resilient Cyberphysical Systems.

[BibT_eX]

[DOI]

Computer, 2020

Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches.

[BibT_eX]

[DOI]

Scott Eisele

Taha Eghtesad

Anastasia Mavridou

Computer, 2020

Attacking Electricity Markets Through IoT Devices.

[BibT_eX]

[DOI]

Computer, 2020

Leveraging EM Side-Channel Information to Detect Rowhammer Attacks.

[BibT_eX]

[DOI]

Zihao Zhan

Daniel Balasubramanian

Bo Li

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Detecting Adversarial Examples in Learning-Enabled Cyber-Physical Systems using Variational Autoencoder for Regression.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

Trusted Confidence Bounds for Learning Enabled Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

Resilient Distributed Diffusion for Multi-Robot Systems Using Centerpoint.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XVI, 2020

Byzantine Resilient Distributed Multi-Task Learning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Security in Mixed Time and Event Triggered Cyber-Physical Systems using Moving Target Defense.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing, 2020

Cyber-Attacks and Mitigation in Blockchain Based Transactive Energy Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Industrial Cyberphysical Systems, 2020

Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

@PAD: adversarial training of power systems against denial-of-service attacks.

[BibT_eX]

[DOI]

Ali Irmak Ozdagli

Proceedings of the 7th Annual Symposium on Hot Topics in the Science of Security, 2020

Simulation testbed for railway infrastructure security and resilience evaluation.

[BibT_eX]

[DOI]

Chee Yee Tang

Keith Stouffer

Proceedings of the 7th Annual Symposium on Hot Topics in the Science of Security, 2020

Resilient multi-robot target pursuit.

[BibT_eX]

[DOI]

Proceedings of the 7th Annual Symposium on Hot Topics in the Science of Security, 2020

BitJabber: The World's Fastest Electromagnetic Covert Channel.

[BibT_eX]

[DOI]

Zihao Zhan

Proceedings of the 2020 IEEE International Symposium on Hardware Oriented Security and Trust, 2020

Overcoming Stealthy Adversarial Attacks on Power Grid Load Predictions Through Dynamic Data Repair.

[BibT_eX]

[DOI]

Xingyu Zhou

Robert Canady

Yi Li

Aniruddha Gokhale

Proceedings of the Dynamic Data Driven Applications Systems, 2020

Improving Prediction Confidence in Learning-Enabled Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Data Driven Applications Systems, 2020

Strong Structural Controllability of Diffusively Coupled Networks: Comparison of Bounds Based on Distances and Zero Forcing.

[BibT_eX]

[DOI]

Yasin Yazicioglu

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Interplay Between Resilience and Accuracy in Resilient Vector Consensus in Multi-Agent Networks.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Resilient Vector Consensus in Multi-Agent Networks Using Centerpoints.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

Improving Network Robustness through Edge Augmentation While Preserving Strong Structural Controllability.

[BibT_eX]

[DOI]

Hassan Jaleel

Proceedings of the 2020 American Control Conference, 2020

2019

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

A model-based design approach for simulation and virtual prototyping of automotive control systems using port-Hamiltonian systems.

[BibT_eX]

[DOI]

Siyuan Dai

Softw. Syst. Model., 2019

Detection and mitigation of attacks on transportation networks as a multi-stage security game.

[BibT_eX]

[DOI]

Comput. Secur., 2019

Machine learning based novelty detection using modal analysis.

[BibT_eX]

[DOI]

Ali Irmak Ozdagli

Comput. Aided Civ. Infrastructure Eng., 2019

A game-theoretic approach for selecting optimal time-dependent thresholds for anomaly detection.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2019

Teaching Cybersecurity with Networked Robots.

[BibT_eX]

[DOI]

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

CPS Design with Learning-Enabled Components: A Case Study.

[BibT_eX]

[DOI]

Charles Hartsell

Nagabhushan Mahadevan

Proceedings of the 30th International Workshop on Rapid System Prototyping, 2019

URMILA: A Performance and Mobility-Aware Fog/Edge Resource Management Middleware.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

Supporting fog/edge-based cognitive assistance IoT services for the visually impaired: poster abstract.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Internet of Things Design and Implementation, 2019

Load forecasting with adversarial attacks in power systems using DeepForge.

[BibT_eX]

[DOI]

Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, 2019

Integrated data space randomization and control reconfiguration for securing cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, 2019

Simulation based evaluation of security and resilience in railway infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, 2019

Design and simulation platform for evaluation of grid distribution system and transactive energy.

[BibT_eX]

[DOI]

Harsh Vardhan

Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, 2019

Design of Load Forecast Systems Resilient Against Cyber-Attacks.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 10th International Conference, 2019

Linearize, predict and place: minimizing the makespan for edge-based stream processing of directed acyclic graphs.

[BibT_eX]

[DOI]

Anirban Bhattacharjee

Proceedings of the 4th ACM/IEEE Symposium on Edge Computing, 2019

Web-Based Platform for Evaluation of Resilient and Transactive Smart-Grids.

[BibT_eX]

[DOI]

Harsh Vardhan

Proceedings of the 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, 2019

Model-based design for CPS with learning-enabled components.

[BibT_eX]

[DOI]

Charles Hartsell

Nagabhushan Mahadevan

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

Diversity and Trust to Increase Structural Robustness in Networks.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Attacks on Electricity Markets.

[BibT_eX]

[DOI]

Proceedings of the 57th Annual Allerton Conference on Communication, 2019

Building a Blockchain Simulation using the Idris Programming Language.

[BibT_eX]

[DOI]

Qiutai Pan

Proceedings of the 2019 ACM Southeast Conference, 2019

2018

Simulation-Based Optimization as a Service for Dynamic Data-Driven Applications Systems.

[BibT_eX]

[DOI]

Yi Li

Shashank Shekhar

Proceedings of the Handbook of Dynamic Data Driven Applications Systems., 2018

Scheduling Resource-Bounded Monitoring Devices for Event Detection and Isolation in Networks.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Sci. Eng., 2018

Resilient First-Order Consensus and Weakly Stable, Higher Order Synchronization of Continuous-Time Networked Multiagent Systems.

[BibT_eX]

[DOI]

Heath J. LeBlanc

IEEE Trans. Control. Netw. Syst., 2018

Improving Network Connectivity and Robustness Using Trusted Nodes With Application to Resilient Consensus.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2018

Application-Aware Anomaly Detection of Sensor Measurements in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Sensors, 2018

Model and Tool Integration Platforms for Cyber-Physical System Design.

[BibT_eX]

[DOI]

Ted Bapty

Zsolt Lattmann

Ethan K. Jackson

Proc. IEEE, 2018

SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proc. IEEE, 2018

A game-theoretic approach for integrity assurance in resource-bounded systems.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2018

Integrated simulation testbed for security and resilience of CPS.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Vulnerability analysis of power systems based on cyber-attack and defense models.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2018

Poster Abstract: Ensuring Low-Latency and Scalable Data Dissemination for Smart-City Applications.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation, 2018

Adversarial Regression for Detecting Attacks in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Synergistic Security for the Industrial Internet of Things: Integrating Redundancy, Diversity, and Hardening.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Industrial Internet, 2018

Integrated instruction set randomization and control reconfiguration for securing cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, 2018

Scalable Edge Computing for Low Latency Data Dissemination in Topic-Based Publish/Subscribe.

[BibT_eX]

[DOI]

Hamzah Abdelaziz

Proceedings of the 2018 IEEE/ACM Symposium on Edge Computing, 2018

Resilient Distributed Diffusion for Multi-task Estimation.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Distributed Computing in Sensor Systems, 2018

Triggering Rowhammer Hardware Faults on ARM: A Revisit.

[BibT_eX]

[DOI]

Zihao Zhan

Daniel Balasubramanian

Proceedings of the 2018 Workshop on Attacks and Solutions in Hardware Security, 2018

Performance Interference-Aware Vertical Elasticity for Cloud-Hosted Latency-Sensitive Applications.

[BibT_eX]

[DOI]

Shashank Shekhar

Anirban Bhattacharjee

Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2017

Learning Bayesian Network Structures to Augment Aircraft Diagnostic Reference Models.

[BibT_eX]

[DOI]

Daniel L. C. Mack

Dinkar Mylaraswamy

IEEE Trans Autom. Sci. Eng., 2017

Monitoring stealthy diffusion.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2017

Online Model Learning of Buildings Using Stochastic Hybrid Systems Based on Gaussian Processes.

[BibT_eX]

[DOI]

J. Control. Sci. Eng., 2017

Scheduling Battery-Powered Sensor Networks for Minimizing Detection Delays.

[BibT_eX]

[DOI]

IEEE Commun. Lett., 2017

Handling write backs in multi-level cache analysis for WCET estimation.

[BibT_eX]

[DOI]

Zhishan Guo

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

Resilient sensor placement for fault localization in water distribution networks.

[BibT_eX]

[DOI]

Lina Sela Perelman

Saurabh Amin

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Synergic security for smart water networks: redundancy, diversity, and hardening.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Cyber-Physical Systems for Smart Water Networks, 2017

Optimal detection of faulty traffic sensors used in route planning.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Science of Smart City Operations and Platforms Engineering, 2017

Graph-Theoretic Approach for Increasing Participation in Social Sensing.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Social Sensing, 2017

Safety analysis of integrated adaptive cruise control and lane keeping control using discrete-time models of port-Hamiltonian systems.

[BibT_eX]

[DOI]

Siyuan Dai

Proceedings of the 2017 American Control Conference, 2017

Improving network connectivity using trusted nodes and edges.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

Guest Editorial Special Section on Control and Automation From the 2015 International Conference on Cyber-Physical Systems (ICCPS).

[BibT_eX]

[DOI]

Ian M. Mitchell

Michael S. Branicky

Alexandre M. Bayen

IEEE Trans Autom. Sci. Eng., 2016

Computation and Communication Evaluation of an Authentication Mechanism for Time-Triggered Networked Control Systems.

[BibT_eX]

[DOI]

Gonçalo Martins

Arul Moondra

Anirban Bhattacharjee

Sensors, 2016

A qualitative event-based approach to multiple fault diagnosis in continuous systems using structural model decomposition.

[BibT_eX]

[DOI]

Aníbal Bregón

Belarmino Pulido

Eng. Appl. Artif. Intell., 2016

Resilient Supervisory Control of Autonomous Intersections in the Presence of Sensor Attacks.

[BibT_eX]

[DOI]

CoRR, 2016

Vulnerability of Fixed-Time Control of Signalized Intersections to Cyber-Tampering.

[BibT_eX]

[DOI]

CoRR, 2016

Sensor placement for fault location identification in water networks: A minimum test cover approach.

[BibT_eX]

[DOI]

Lina Sela Perelman

Saurabh Amin

Autom., 2016

A simulation as a service cloud middleware.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2016

Learning and reachability analysis for stochastic hybrid systems using mixtures of Gaussian processes.

[BibT_eX]

[DOI]

Proceedings of the 24th Mediterranean Conference on Control and Automation, 2016

Intelligent, Performance Interference-Aware Resource Management for IoT Cloud Backends.

[BibT_eX]

[DOI]

Faruk Caglar

Shashank Shekhar

Proceedings of the First IEEE International Conference on Internet-of-Things Design and Implementation, 2016

Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Vulnerability of Transportation Networks to Traffic-Signal Tampering.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems.

[BibT_eX]

[DOI]

Siyuan Dai

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Software and attack centric integrated threat modeling for quantitative risk assessment.

[BibT_eX]

[DOI]

Gonçalo Martins

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

Optimal thresholds for intrusion detection systems.

[BibT_eX]

[DOI]

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

Optimal Thresholds for Anomaly-Based Intrusion Detection in Dynamical Environments.

[BibT_eX]

[DOI]

Proceedings of the Decision and Game Theory for Security - 7th International Conference, 2016

Cache-related preemption delay analysis for multi-level inclusive caches.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Embedded Software, 2016

2015

Efficient Complete Coverage Through Heterogeneous Sensing Nodes.

[BibT_eX]

[DOI]

IEEE Wirel. Commun. Lett., 2015

Model-Based Design of Tree WSNs for Decentralized Detection.

[BibT_eX]

[DOI]

Sensors, 2015

Efficient Evaluation of Wireless Real-Time Control Networks.

[BibT_eX]

[DOI]

Sensors, 2015

A language for describing attacks on cyber-physical systems.

[BibT_eX]

[DOI]

Int. J. Crit. Infrastructure Prot., 2015

An Efficient Approach to Fault Identification in Urban Water Networks Using Multi-Level Sensing.

[BibT_eX]

[DOI]

Lina Sela Perelman

Saurabh Amin

Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments, 2015

Precise Multi-level Inclusive Cache Analysis for WCET Estimation.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Top-down and bottom-up multi-level cache analysis for WCET estimation.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, 2015

Integrity assurance in resource-bounded systems through stochastic message authentication.

[BibT_eX]

[DOI]

Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, 2015

Design tool chain for cyber-physical systems: lessons learned.

[BibT_eX]

[DOI]

Ted Bapty

Ethan K. Jackson

Proceedings of the 52nd Annual Design Automation Conference, 2015

Resilient observation selection in adversarial settings.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Scheduling Intrusion Detection Systems in Resource-Bounded Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, 2015

Guarding networks through heterogeneous mobile guards.

[BibT_eX]

[DOI]

Sajal Bhatia

Proceedings of the American Control Conference, 2015

Optimal Personalized Filtering Against Spear-Phishing Attacks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

A co-simulation framework for design of time-triggered automotive cyber physical systems.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2014

Cross-layer design for decentralized detection in WSNs.

[BibT_eX]

[DOI]

EURASIP J. Adv. Signal Process., 2014

An event-based distributed diagnosis framework using structural model decomposition.

[BibT_eX]

[DOI]

Aníbal Bregón

Belarmino Pulido

Artif. Intell., 2014

Biodiesel sim: crowdsourcing simulations for complex model analysis.

[BibT_eX]

[DOI]

Xiaowei Zhang

Proceedings of the 47th Annual Simulation Symposium, 2014

Immunization against Infection Propagation in Heterogeneous Networks.

[BibT_eX]

[DOI]

Sajal Bhatia

Proceedings of the 2014 IEEE 13th International Symposium on Network Computing and Applications, 2014

Resilient distributed consensus for tree topology.

[BibT_eX]

[DOI]

Heath J. LeBlanc

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Energy-based attack detection in networked control systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

2013

Design of Networked Control Systems Using Passivity.

[BibT_eX]

[DOI]

Joseph F. Hall

IEEE Trans. Control. Syst. Technol., 2013

Optimal and efficient adaptation in distributed real-time systems with discrete rates.

[BibT_eX]

[DOI]

Real Time Syst., 2013

Collaborative 3D Target Tracking in Distributed Smart Camera Networks for Wide-Area Surveillance.

[BibT_eX]

[DOI]

J. Sens. Actuator Networks, 2013

Resilient Asymptotic Consensus in Robust Networks.

[BibT_eX]

[DOI]

Haotian Zhang

Shreyas Sundaram

IEEE J. Sel. Areas Commun., 2013

A Method for Estimating Angular Separation in Mobile Wireless Sensor Networks.

[BibT_eX]

[DOI]

J. Intell. Robotic Syst., 2013

A case study on the model-based design and integration of automotive cyber-physical systems.

[BibT_eX]

[DOI]

Di Shang

Proceedings of the 21st Mediterranean Conference on Control and Automation, 2013

Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

Co-simulation framework for design of time-triggered cyber physical systems.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Low-complexity multicarrier physical layer for wireless real-time control networks.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Reliability Analysis of Wireless Real-Time Control Networks.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Computer Communication and Networks, 2013

Resilient synchronization in robust networked multi-agent systems.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Taxonomy for description of cross-domain attacks on CPS.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Algorithms for determining network robustness.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Self-Organizing WSN Protocol for Real-Time Communication Requirements.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2013

Resilient continuous-time consensus in fractional robust networks.

[BibT_eX]

[DOI]

Heath J. LeBlanc

Haotian Zhang

Shreyas Sundaram

Proceedings of the American Control Conference, 2013

2012

A passivity approach for model-based compositional design of networked control systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2012

Aircraft Power Generators: Hybrid Modeling and Simulation for Fault Detection.

[BibT_eX]

[DOI]

IEEE Trans. Aerosp. Electron. Syst., 2012

NCSWT: An integrated modeling and simulation tool for networked control systems.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2012

Toward a Science of Cyber-Physical System Integration.

[BibT_eX]

[DOI]

Proc. IEEE, 2012

Mobile Sensor Waypoint Navigation via RF-Based Angle of Arrival Localization.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2012

Discussion on: "Safety Verification for Probabilistic Hybrid Systems".

[BibT_eX]

[DOI]

Eur. J. Control, 2012

WiP Abstract: A Closed Loop Control Architecture to Maintain Patient Normothermia during Perioperative Periods.

[BibT_eX]

[DOI]

Jesse M. Ehrenfeld

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Optimal Cross-Layer Design of Sampling Rate Adaptation and Network Scheduling for Wireless Networked Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Low complexity resilient consensus in networked multi-agent systems with adversaries.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

NCSWT: an integrated modeling and simulation tool for networked control systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Consensus of multi-agent networks in the presence of adversaries using only local information.

[BibT_eX]

[DOI]

Haotian Zhang

Shreyas Sundaram

Proceedings of the 1st International Conference on High Confidence Networked Systems (HiCoNS, 2012

Feedback thermal control of real-time systems on multicore processors.

[BibT_eX]

[DOI]

Yong Fu

Proceedings of the 12th International Conference on Embedded Software, 2012

A Cross-Layer Design for Decentralized Detection in Tree Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 8th International Conference on Distributed Computing in Sensor Systems, 2012

Resilient asymptotic consensus in asynchronous robust networks.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011

Efficient simulation of hybrid systems: A hybrid bond graph approach.

[BibT_eX]

[DOI]

Simul., 2011

High confidence embedded software design: a quadrotor helicopter case study.

[BibT_eX]

[DOI]

SIGBED Rev., 2011

Passivity-based self-triggered control: a case study on the trajectory tracking control of a robotic manipulator over wireless network.

[BibT_eX]

[DOI]

SIGBED Rev., 2011

RF angle of arrival-based node localisation.

[BibT_eX]

[DOI]

Miklos Maroti

Int. J. Sens. Networks, 2011

Networked control system wind tunnel (NCSWT): an evaluation tool for networked multi-agent systems.

[BibT_eX]

[DOI]

Jia Bai

Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

Mobile Sensor Navigation Using Rapid RF-Based Angle of Arrival Localization.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Consensus in networked multi-agent systems with adversaries.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Transmission control policy design for decentralized detection in tree topology sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Information Fusion, 2011

Transmission Control Policy design for decentralized detection in sensor networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing in Sensor Systems, 2011

Multi-rate networked control of conic (dissipative) systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2011

2010

A Comprehensive Diagnosis Methodology for Complex Hybrid Systems: A Case Study on Spacecraft Power Distribution Systems.

[BibT_eX]

[DOI]

Ann Patterson-Hine

Scott Poll

IEEE Trans. Syst. Man Cybern. Part A, 2010

RF doppler shift-based mobile sensor tracking and navigation.

[BibT_eX]

[DOI]

ACM Trans. Sens. Networks, 2010

System and software architectures of distributed smart cameras.

[BibT_eX]

[DOI]

Chang Hong Lin

Marilyn Wolf

ACM Trans. Embed. Comput. Syst., 2010

Simulation of Stochastic Hybrid Systems using probabilistic boundary detection and adaptive time stepping.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2010

Local Causal and Markov Blanket Induction for Causal Discovery and Feature Selection for Classification Part II: Analysis and Extensions.

[BibT_eX]

[DOI]

Constantin F. Aliferis

Alexander R. Statnikov

Ioannis Tsamardinos

Subramani Mani

J. Mach. Learn. Res., 2010

Local Causal and Markov Blanket Induction for Causal Discovery and Feature Selection for Classification Part I: Algorithms and Empirical Evaluation.

[BibT_eX]

[DOI]

Constantin F. Aliferis

Alexander R. Statnikov

Ioannis Tsamardinos

Subramani Mani

J. Mach. Learn. Res., 2010

Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System.

[BibT_eX]

[DOI]

Eur. J. Control, 2010

Using factored bond graphs for distributed diagnosis of physical systems.

[BibT_eX]

[DOI]

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Mobile air pollution monitoring network.

[BibT_eX]

[DOI]

Will Hedgecock

Akram Aldroubi

Alexander S. Szalay

Andreas Terzis

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Feedback Thermal Control for Real-time Systems.

[BibT_eX]

[DOI]

Yong Fu

Hongan Wang

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Nodes.

[BibT_eX]

[DOI]

Proceedings of the Networked Digital Technologies - Second International Conference, 2010

A Passivity-Based Approach to Group Coordination in Multi-agent Networks.

[BibT_eX]

[DOI]

Proceedings of the Informatics in Control, Automation and Robotics, 2010

A Passivity-based Approach to Deployment in Multi-agent Networks.

[BibT_eX]

Proceedings of the ICINCO 2010, 2010

3D target tracking in distributed smart camera networks with in-network aggregation.

[BibT_eX]

[DOI]

Proceedings of the 2010 Fourth ACM/IEEE International Conference on Distributed Smart Cameras, Atlanta, GA, USA - August 31, 2010

Dynamic Tuning Retransmission Limit of IEEE 802.11 MAC Protocol for Networked Control Systems.

[BibT_eX]

[DOI]

Jia Bai

Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications, 2010

Collaborative target tracking using multiple visual features in smart camera networks.

[BibT_eX]

[DOI]

Proceedings of the 13th Conference on Information Fusion, 2010

Radio Interferometric Angle of Arrival Estimation.

[BibT_eX]

[DOI]

Proceedings of the Wireless Sensor Networks, 7th European Conference, 2010

Using RF received phase for indoor tracking.

[BibT_eX]

[DOI]

Miklós Maróti

Proceedings of the 6th Workshop on Hot Topics in Embedded Networked Sensors, 2010

Dissemination and presentation of high resolution air pollution data from mobile sensor nodes.

[BibT_eX]

[DOI]

Will Hedgecock

Proceedings of the 48th Annual Southeast Regional Conference, 2010

Tracking in Urban Environments Using Sensor Networks Based on Audio-Video Fusion.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Ambient Intelligence and Smart Environments, 2010

2009

A Qualitative Event-Based Approach to Continuous Systems Diagnosis.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2009

Towards Controllable Distributed Real-Time Systems with Feasible Utilization Control.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2009

An Integrated Planning and Adaptive Resource Management Architecture for Distributed Real-Time Embedded Systems.

[BibT_eX]

[DOI]

John S. Kinnebrew

IEEE Trans. Computers, 2009

Designing Distributed Diagnosers for Complex Continuous Systems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2009

PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems.

[BibT_eX]

[DOI]

Joe Hall

Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

On the Feasibility of Determining Angular Separation in Mobile Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Mobile Entity Localization and Tracking in GPS-less Environnments, 2009

A Survey on Localization for Mobile Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Mobile Entity Localization and Tracking in GPS-less Environnments, 2009

Model based integration and experimentation of Information Fusion and C2 Systems.

[BibT_eX]

[DOI]

Ted Bapty

Proceedings of the 12th International Conference on Information Fusion, 2009

Acoustic source localization and discrimination in urban environments.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Information Fusion, 2009

Generating Possible Conflicts From Bond Graphs Using Temporal Causal Graphs.

[BibT_eX]

[DOI]

Aníbal Bregón

Belarmino Pulido

Proceedings of the European Conference on Modelling and Simulation, 2009

Maximum likelihood detection with intermittent observations.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual Conference on Information Sciences and Systems, 2009

Factoring Dynamic Bayesian Networks based on structural observability.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Detection using intermittent observations for passive wireless sensors.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

2008

Computational Methods for Verification of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2008

Hierarchical control of multiple resources in distributed real-time and embedded systems.

[BibT_eX]

[DOI]

Real Time Syst., 2008

Design and Performance Evaluation of an Adaptive Resource Management Framework for Distributed Real-Time and Embedded Systems.

[BibT_eX]

[DOI]

Nilabja Roy

EURASIP J. Embed. Syst., 2008

Report on the Eighteenth International Workshop on Principles of Diagnosis (DX-07).

[BibT_eX]

[DOI]

AI Mag., 2008

Reachability analysis of uncertain systems using bounded-parameter Markov decision processes.

[BibT_eX]

[DOI]

Di Wu

Artif. Intell., 2008

Passivity-Based Design of Wireless Networked Control Systems for Robustness to Time-Varying Delays.

[BibT_eX]

[DOI]

Joseph F. Hall

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Mobile sensor localization and navigation using RF doppler shifts.

[BibT_eX]

[DOI]

Proceedings of the ACM International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments, 2008

Target tracking in heterogeneous sensor networks using audio and video sensor fusion.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2008

Air Quality Monitoring with SensorMap.

[BibT_eX]

[DOI]

András Nádas

Proceedings of the 7th International Conference on Information Processing in Sensor Networks, 2008

Fusion-based localization for a Heterogeneous camera network.

[BibT_eX]

[DOI]

Marci Meingast

Shankar Sastry

Proceedings of the 2008 Second ACM/IEEE International Conference on Distributed Smart Cameras, 2008

Multi-Modal Target Tracking Using Heterogeneous Sensor Networks.

[BibT_eX]

[DOI]

Shankar Sastry

Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Time Synchronization in Heterogeneous Sensor Networks.

[BibT_eX]

[DOI]

Branislav Kusy

Proceedings of the Distributed Computing in Sensor Systems, 2008

Target tracking in urban environments using audio-video signal processing in heterogeneous wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 42nd Asilomar Conference on Signals, Systems and Computers, 2008

2007

Distributed Diagnosis in Formations of Mobile Robots.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2007

DEUCON: Decentralized End-to-End Utilization Control for Distributed Real-Time Systems.

[BibT_eX]

[DOI]

Dong Jia

IEEE Trans. Parallel Distributed Syst., 2007

FC-ORB: A robust distributed real-time embedded middleware with end-to-end utilization control.

[BibT_eX]

[DOI]

J. Syst. Softw., 2007

Tracking mobile nodes using RF Doppler shifts.

[BibT_eX]

[DOI]

Branislav Kusy

Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007

Optimal Discrete Rate Adaptation for Distributed Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Design and Performance Evaluation of Configurable Component Middleware for End-to-End Adaptation of Distributed Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

On Controllability and Feasibility of Utilization Control in Distributed Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

OASiS: A Programming Framework for Service-Oriented Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), 2007

Fault diagnosis of continuous systems using discrete-event methods.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

A Qualitative Approach to Multiple Fault Isolation in Continuous Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Verification of Biochemical Processes Using Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Intelligent Control, 2007

2006

Design and Implementation of Ubiquitous Smart Cameras.

[BibT_eX]

[DOI]

Chang Hong Lin

Wayne H. Wolf

Andrew Dixon

Proceedings of the IEEE International Conference on Sensor Networks, 2006

OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes.

[BibT_eX]

[DOI]

Di Wu

Proceedings of the Modeling Decisions for Artificial Intelligence, 2006

Distributed Diagnosis of Coupled Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006

Computational Methods for Reachability Analysis of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Efficient Integration of Web Services in Ambient-aware Sensor Network Applications.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Broadband Communications, 2006

2005

Monitoring and fault diagnosis of hybrid systems.

[BibT_eX]

[DOI]

Horst W. Haussecker

James Reich

Patrick Cheung

IEEE Trans. Syst. Man Cybern. Part B, 2005

Feedback Utilization Control in Distributed Real-Time Systems with End-to-End Tasks.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2005

Introducing embedded software and systems education and advanced learning technology in an engineering curriculum.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2005

Enhancing the Robustness of Distributed Real-Time Middleware via End-to-End Utilization Control.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Decentralized Utilization Control in Distributed Real-Time Systems.

[BibT_eX]

[DOI]

Dong Jia

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Hybrid Supervisory Utilization Control of Real-Time Systems.

[BibT_eX]

[DOI]

Radhika Tekumalla

Balachandran Natarajan

Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

Evaluating adaptive resource management for distributed real-time embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 4th workshop on Reflective and adaptive middleware systems, 2005

Dynamic Software Reconfiguration in Sensor Networks.

[BibT_eX]

[DOI]

Sachin Kogekar

Proceedings of the Systems Communications 2005 (ICW / ICHSN / ICMCS / SENET 2005), 2005

Optimal Control of Stochastic Hybrid Systems Based on Locally Consistent Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Control, 2005

2004

Information processing in sensor networks (IPSN'04).

[BibT_eX]

[DOI]

SIGBED Rev., 2004

Constraint-guided dynamic reconfiguration in sensor networks.

[BibT_eX]

[DOI]

Sachin Kogekar

Brandon Eames

Miklos Maroti

Proceedings of the Third International Symposium on Information Processing in Sensor Networks, 2004

End-to-End Utilization Control in Distributed Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

2003

Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2003

Sensing field: coverage characterization in distributed sensor networks.

[BibT_eX]

[DOI]

Juan Liu

James Reich

Proceedings of the 2003 IEEE International Conference on Acoustics, 2003

Estimation of Distributed Hybrid Systems Using Particle Filtering Methods.

[BibT_eX]

[DOI]

James Kurien

Proceedings of the Hybrid Systems: Computation and Control, 2003

Estimation of hybrid systems using discrete sensors.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

HYSTAR: a toolbox for hierarchical control of piecewise linear hybrid dynamical systems.

[BibT_eX]

[DOI]

Hai Lin

Proceedings of the American Control Conference, 2002

2001

Distributed Monitoring of Hybrid Systems: A model-directed approach.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Fault modeling for monitoring and diagnosis of sensor-rich hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Supervisory control of hybrid systems.

[BibT_eX]

[DOI]

James A. Stiver

Michael D. Lemmon

Proc. IEEE, 2000

A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1998

Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control.

[BibT_eX]

[DOI]

Kevin X. He

Michael D. Lemmon

Discret. Event Dyn. Syst., 1998

1997

Hybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant Properties.

[BibT_eX]

[DOI]