Xenofon D. Koutsoukos

According to our database1, Xenofon D. Koutsoukos authored at least 216 papers between 1997 and 2019.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2018, "For contributions to design of resilient cyber-physical systems".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
A model-based design approach for simulation and virtual prototyping of automotive control systems using port-Hamiltonian systems.
Software and Systems Modeling, 2019

Detection and mitigation of attacks on transportation networks as a multi-stage security game.
Computers & Security, 2019

A game-theoretic approach for selecting optimal time-dependent thresholds for anomaly detection.
Autonomous Agents and Multi-Agent Systems, 2019

Teaching Cybersecurity with Networked Robots.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

URMILA: A Performance and Mobility-Aware Fog/Edge Resource Management Middleware.
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.
Proceedings of the International Conference on Internet of Things Design and Implementation, 2019

Load forecasting with adversarial attacks in power systems using DeepForge.
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.
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.
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.
Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, 2019

Design of Load Forecast Systems Resilient Against Cyber-Attacks.
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.
Proceedings of the 4th ACM/IEEE Symposium on Edge Computing, 2019

Web-Based Platform for Evaluation of Resilient and Transactive Smart-Grids.
Proceedings of the 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, 2019

Model-based design for CPS with learning-enabled components.
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

Diversity and Trust to Increase Structural Robustness in Networks.
Proceedings of the 2019 American Control Conference, 2019

Building a Blockchain Simulation using the Idris Programming Language.
Proceedings of the 2019 ACM Southeast Conference, 2019

2018
Simulation-Based Optimization as a Service for Dynamic Data-Driven Applications Systems.
Proceedings of the Handbook of Dynamic Data Driven Applications Systems., 2018

Scheduling Resource-Bounded Monitoring Devices for Event Detection and Isolation in Networks.
IEEE Trans. Network Science and Engineering, 2018

Resilient First-Order Consensus and Weakly Stable, Higher Order Synchronization of Continuous-Time Networked Multiagent Systems.
IEEE Trans. Control of Network Systems, 2018

Improving Network Connectivity and Robustness Using Trusted Nodes With Application to Resilient Consensus.
IEEE Trans. Control of Network Systems, 2018

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

Model and Tool Integration Platforms for Cyber-Physical System Design.
Proceedings of the IEEE, 2018

SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems.
Proceedings of the IEEE, 2018

A game-theoretic approach for integrity assurance in resource-bounded systems.
Int. J. Inf. Sec., 2018

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

Detection and Mitigation of Attacks on Transportation Networks as a Multi-Stage Security Game.
CoRR, 2018

Adversarial Regression for Detecting Attacks in Cyber-Physical Systems.
CoRR, 2018

Integrated simulation testbed for security and resilience of CPS.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Vulnerability analysis of power systems based on cyber-attack and defense models.
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.
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.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Integrated instruction set randomization and control reconfiguration for securing cyber-physical systems.
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.
Proceedings of the 2018 IEEE/ACM Symposium on Edge Computing, 2018

Resilient Distributed Diffusion for Multi-task Estimation.
Proceedings of the 14th International Conference on Distributed Computing in Sensor Systems, 2018

Triggering Rowhammer Hardware Faults on ARM: A Revisit.
Proceedings of the 2018 Workshop on Attacks and Solutions in Hardware Security, 2018

Performance Interference-Aware Vertical Elasticity for Cloud-Hosted Latency-Sensitive Applications.
Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2017
Learning Bayesian Network Structures to Augment Aircraft Diagnostic Reference Models.
IEEE Trans. Automation Science and Engineering, 2017

Monitoring stealthy diffusion.
Knowl. Inf. Syst., 2017

Online Model Learning of Buildings Using Stochastic Hybrid Systems Based on Gaussian Processes.
J. Control. Sci. Eng., 2017

Scheduling Battery-Powered Sensor Networks for Minimizing Detection Delays.
IEEE Communications Letters, 2017

Optimal Detection of Faulty Traffic Sensors Used in Route Planning.
CoRR, 2017

Handling write backs in multi-level cache analysis for WCET estimation.
Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

Resilient sensor placement for fault localization in water distribution networks.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Synergic security for smart water networks: redundancy, diversity, and hardening.
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.
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.
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.
Proceedings of the 2017 American Control Conference, 2017

Improving network connectivity using trusted nodes and edges.
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).
IEEE Trans. Automation Science and Engineering, 2016

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

A qualitative event-based approach to multiple fault diagnosis in continuous systems using structural model decomposition.
Eng. Appl. of AI, 2016

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

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

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

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

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

A simulation as a service cloud middleware.
Annales des Télécommunications, 2016

Learning and reachability analysis for stochastic hybrid systems using mixtures of Gaussian processes.
Proceedings of the 24th Mediterranean Conference on Control and Automation, 2016

Intelligent, Performance Interference-Aware Resource Management for IoT Cloud Backends.
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.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Vulnerability of Transportation Networks to Traffic-Signal Tampering.
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.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Software and attack centric integrated threat modeling for quantitative risk assessment.
Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

Optimal thresholds for intrusion detection systems.
Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

Optimal Thresholds for Anomaly-Based Intrusion Detection in Dynamical Environments.
Proceedings of the Decision and Game Theory for Security - 7th International Conference, 2016

Cache-related preemption delay analysis for multi-level inclusive caches.
Proceedings of the 2016 International Conference on Embedded Software, 2016

2015
Efficient Complete Coverage Through Heterogeneous Sensing Nodes.
IEEE Wireless Commun. Letters, 2015

Model-Based Design of Tree WSNs for Decentralized Detection.
Sensors, 2015

Efficient Evaluation of Wireless Real-Time Control Networks.
Sensors, 2015

A language for describing attacks on cyber-physical systems.
IJCIP, 2015

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

Guarding Networks Through Heterogeneous Mobile Guards.
CoRR, 2015

An Efficient Approach to Fault Identification in Urban Water Networks Using Multi-Level Sensing.
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.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Top-down and bottom-up multi-level cache analysis for WCET estimation.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis.
Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, 2015

Monitoring Stealthy Diffusion.
Proceedings of the 2015 IEEE International Conference on Data Mining, 2015

Integrity assurance in resource-bounded systems through stochastic message authentication.
Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, 2015

Design tool chain for cyber-physical systems: lessons learned.
Proceedings of the 52nd Annual Design Automation Conference, 2015

Resilient observation selection in adversarial settings.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Scheduling Intrusion Detection Systems in Resource-Bounded Cyber-Physical Systems.
Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, 2015

Guarding networks through heterogeneous mobile guards.
Proceedings of the American Control Conference, 2015

Optimal Personalized Filtering Against Spear-Phishing Attacks.
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.
Simulation Modelling Practice and Theory, 2014

Cross-layer design for decentralized detection in WSNs.
EURASIP J. Adv. Sig. Proc., 2014

An event-based distributed diagnosis framework using structural model decomposition.
Artif. Intell., 2014

Biodiesel sim: crowdsourcing simulations for complex model analysis.
Proceedings of the 47th Annual Simulation Symposium, 2014

Immunization against Infection Propagation in Heterogeneous Networks.
Proceedings of the 2014 IEEE 13th International Symposium on Network Computing and Applications, 2014

Resilient distributed consensus for tree topology.
Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Energy-based attack detection in networked control systems.
Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

2013
Design of Networked Control Systems Using Passivity.
IEEE Trans. Contr. Sys. Techn., 2013

Optimal and efficient adaptation in distributed real-time systems with discrete rates.
Real-Time Systems, 2013

Collaborative 3D Target Tracking in Distributed Smart Camera Networks for Wide-Area Surveillance.
J. Sensor and Actuator Networks, 2013

Resilient Asymptotic Consensus in Robust Networks.
IEEE Journal on Selected Areas in Communications, 2013

A Method for Estimating Angular Separation in Mobile Wireless Sensor Networks.
Journal of Intelligent and Robotic Systems, 2013

Resilient Continuous-Time Consensus in Fractional Robust Networks
CoRR, 2013

A case study on the model-based design and integration of automotive cyber-physical systems.
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.
Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

Co-simulation framework for design of time-triggered cyber physical systems.
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.
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.
Proceedings of the 22nd International Conference on Computer Communication and Networks, 2013

Resilient synchronization in robust networked multi-agent systems.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Taxonomy for description of cross-domain attacks on CPS.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Algorithms for determining network robustness.
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.
Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2013

Resilient continuous-time consensus in fractional robust networks.
Proceedings of the American Control Conference, 2013

2012
A passivity approach for model-based compositional design of networked control systems.
ACM Trans. Embedded Comput. Syst., 2012

Aircraft Power Generators: Hybrid Modeling and Simulation for Fault Detection.
IEEE Trans. Aerospace and Electronic Systems, 2012

NCSWT: An integrated modeling and simulation tool for networked control systems.
Simulation Modelling Practice and Theory, 2012

Toward a Science of Cyber-Physical System Integration.
Proceedings of the IEEE, 2012

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

Discussion on: "Safety Verification for Probabilistic Hybrid Systems".
Eur. J. Control, 2012

Consensus of Multi-Agent Networks in the Presence of Adversaries Using Only Local Information
CoRR, 2012

WiP Abstract: A Closed Loop Control Architecture to Maintain Patient Normothermia during Perioperative Periods.
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.
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.
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.
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.
Proceedings of the 1st International Conference on High Confidence Networked Systems (HiCoNS, 2012

Feedback thermal control of real-time systems on multicore processors.
Proceedings of the 12th International Conference on Embedded Software, 2012

A Cross-Layer Design for Decentralized Detection in Tree Sensor Networks.
Proceedings of the IEEE 8th International Conference on Distributed Computing in Sensor Systems, 2012

Resilient asymptotic consensus in asynchronous robust networks.
Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011
Efficient simulation of hybrid systems: A hybrid bond graph approach.
Simulation, 2011

High confidence embedded software design: a quadrotor helicopter case study.
SIGBED Review, 2011

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

RF angle of arrival-based node localisation.
IJSNet, 2011

Networked control system wind tunnel (NCSWT): an evaluation tool for networked multi-agent systems.
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

Mobile Sensor Navigation Using Rapid RF-Based Angle of Arrival Localization.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Consensus in networked multi-agent systems with adversaries.
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.
Proceedings of the 14th International Conference on Information Fusion, 2011

Transmission Control Policy design for decentralized detection in sensor networks.
Proceedings of the Distributed Computing in Sensor Systems, 2011

2010
A Comprehensive Diagnosis Methodology for Complex Hybrid Systems: A Case Study on Spacecraft Power Distribution Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2010

RF doppler shift-based mobile sensor tracking and navigation.
TOSN, 2010

System and software architectures of distributed smart cameras.
ACM Trans. Embedded Comput. Syst., 2010

Simulation of Stochastic Hybrid Systems using probabilistic boundary detection and adaptive time stepping.
Simulation Modelling Practice and Theory, 2010

Local Causal and Markov Blanket Induction for Causal Discovery and Feature Selection for Classification Part II: Analysis and Extensions.
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.
J. Mach. Learn. Res., 2010

Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System.
Eur. J. Control, 2010

Using factored bond graphs for distributed diagnosis of physical systems.
Proceedings of the 2010 Spring Simulation Multiconference, 2010

Mobile air pollution monitoring network.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Feedback Thermal Control for Real-time Systems.
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.
Proceedings of the Networked Digital Technologies - Second International Conference, 2010

A Passivity-Based Approach to Group Coordination in Multi-agent Networks.
Proceedings of the Informatics in Control, Automation and Robotics, 2010

A Passivity-based Approach to Deployment in Multi-agent Networks.
Proceedings of the ICINCO 2010, 2010

3D target tracking in distributed smart camera networks with in-network aggregation.
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.
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.
Proceedings of the 13th Conference on Information Fusion, 2010

Radio Interferometric Angle of Arrival Estimation.
Proceedings of the Wireless Sensor Networks, 7th European Conference, 2010

Using RF received phase for indoor tracking.
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.
Proceedings of the 48th Annual Southeast Regional Conference, 2010

Tracking in Urban Environments Using Sensor Networks Based on Audio-Video Fusion.
Proceedings of the Handbook of Ambient Intelligence and Smart Environments, 2010

2009
A Qualitative Event-Based Approach to Continuous Systems Diagnosis.
IEEE Trans. Contr. Sys. Techn., 2009

Towards Controllable Distributed Real-Time Systems with Feasible Utilization Control.
IEEE Trans. Computers, 2009

An Integrated Planning and Adaptive Resource Management Architecture for Distributed Real-Time Embedded Systems.
IEEE Trans. Computers, 2009

Designing Distributed Diagnosers for Complex Continuous Systems.
IEEE Trans. Automation Science and Engineering, 2009

PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems.
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.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

On the Feasibility of Determining Angular Separation in Mobile Wireless Sensor Networks.
Proceedings of the Mobile Entity Localization and Tracking in GPS-less Environnments, 2009

A Survey on Localization for Mobile Wireless Sensor Networks.
Proceedings of the Mobile Entity Localization and Tracking in GPS-less Environnments, 2009

Model based integration and experimentation of Information Fusion and C2 Systems.
Proceedings of the 12th International Conference on Information Fusion, 2009

Acoustic source localization and discrimination in urban environments.
Proceedings of the 12th International Conference on Information Fusion, 2009

Generating Possible Conflicts From Bond Graphs Using Temporal Causal Graphs.
Proceedings of the European Conference on Modelling and Simulation, 2009

Maximum likelihood detection with intermittent observations.
Proceedings of the 43rd Annual Conference on Information Sciences and Systems, 2009

Factoring Dynamic Bayesian Networks based on structural observability.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008
Computational Methods for Verification of Stochastic Hybrid Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2008

Hierarchical control of multiple resources in distributed real-time and embedded systems.
Real-Time Systems, 2008

Design and Performance Evaluation of an Adaptive Resource Management Framework for Distributed Real-Time and Embedded Systems.
EURASIP J. Emb. Sys., 2008

Report on the Eighteenth International Workshop on Principles of Diagnosis (DX-07).
AI Magazine, 2008

Reachability analysis of uncertain systems using bounded-parameter Markov decision processes.
Artif. Intell., 2008

Passivity-Based Design of Wireless Networked Control Systems for Robustness to Time-Varying Delays.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Mobile sensor localization and navigation using RF doppler shifts.
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.
Proceedings of the IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2008

Air Quality Monitoring with SensorMap.
Proceedings of the 7th International Conference on Information Processing in Sensor Networks, 2008

Fusion-based localization for a Heterogeneous camera network.
Proceedings of the 2008 Second ACM/IEEE International Conference on Distributed Smart Cameras, 2008

Multi-Modal Target Tracking Using Heterogeneous Sensor Networks.
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.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Time Synchronization in Heterogeneous Sensor Networks.
Proceedings of the Distributed Computing in Sensor Systems, 2008

2007
Distributed Diagnosis in Formations of Mobile Robots.
IEEE Trans. Robotics, 2007

DEUCON: Decentralized End-to-End Utilization Control for Distributed Real-Time Systems.
IEEE Trans. Parallel Distrib. Syst., 2007

FC-ORB: A robust distributed real-time embedded middleware with end-to-end utilization control.
Journal of Systems and Software, 2007

Tracking mobile nodes using RF Doppler shifts.
Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007

Optimal Discrete Rate Adaptation for Distributed Real-Time Systems.
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.
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.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

On Controllability and Feasibility of Utilization Control in Distributed Real-Time Systems.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

OASiS: A Programming Framework for Service-Oriented Sensor Networks.
Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), 2007

Fault diagnosis of continuous systems using discrete-event methods.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

A Qualitative Approach to Multiple Fault Isolation in Continuous Systems.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Verification of Biochemical Processes Using Stochastic Hybrid Systems.
Proceedings of the 22nd IEEE International Symposium on Intelligent Control, 2007

2006
Design and Implementation of Ubiquitous Smart Cameras.
Proceedings of the IEEE International Conference on Sensor Networks, 2006

OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks.
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2006

Distributed Diagnosis of Coupled Mobile Robots.
Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006

Computational Methods for Reachability Analysis of Stochastic Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Hierarchical Control of Multiple Resources in Distributed Real-time and Embedded Systems.
Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

Efficient Integration of Web Services in Ambient-aware Sensor Network Applications.
Proceedings of the 3rd International Conference on Broadband Communications, 2006

2005
Monitoring and fault diagnosis of hybrid systems.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2005

Feedback Utilization Control in Distributed Real-Time Systems with End-to-End Tasks.
IEEE Trans. Parallel Distrib. Syst., 2005

Introducing embedded software and systems education and advanced learning technology in an engineering curriculum.
ACM Trans. Embedded Comput. Syst., 2005

Enhancing the Robustness of Distributed Real-Time Middleware via End-to-End Utilization Control.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Decentralized Utilization Control in Distributed Real-Time Systems.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Hybrid Supervisory Utilization Control of Real-Time Systems.
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.
Proceedings of the 4th workshop on Reflective and adaptive middleware systems, 2005

Dynamic Software Reconfiguration in Sensor Networks.
Proceedings of the Systems Communications 2005 (ICW / ICHSN / ICMCS / SENET 2005), 2005

2004
Information processing in sensor networks (IPSN'04).
SIGBED Review, 2004

Constraint-guided dynamic reconfiguration in sensor networks.
Proceedings of the Third International Symposium on Information Processing in Sensor Networks, 2004

End-to-End Utilization Control in Distributed Real-Time Systems.
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.
Discrete Event Dynamic Systems, 2003

Sensing field: coverage characterization in distributed sensor networks.
Proceedings of the 2003 IEEE International Conference on Acoustics, 2003

Estimation of Distributed Hybrid Systems Using Particle Filtering Methods.
Proceedings of the Hybrid Systems: Computation and Control, 2003

2001
Distributed Monitoring of Hybrid Systems: A model-directed approach.
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.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

2000
A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1998
Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control.
Discrete Event Dynamic Systems, 1998

1997
Hybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant Properties.
Proceedings of the Hybrid Systems V, 1997


  Loading...