Christoforos N. Hadjicostis

Affiliations:
  • University of Cyprus, Nicosia, Cyprus


According to our database1, Christoforos N. Hadjicostis authored at least 281 papers between 1994 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Global and Local Error-Tolerant Decentralized State Estimation under Partially Ordered Observations.
CoRR, 2024

2023
Error- and Tamper-Tolerant State Estimation for Discrete Event Systems Under Cost Constraints.
IEEE Trans. Autom. Control., November, 2023

Opacity Enforcement in Discrete Event Systems Using Extended Insertion Functions Under Inserted Language Constraints.
IEEE Trans. Autom. Control., November, 2023

Distributed computation of exact average degree and network size in finite time under quantized communication.
Eur. J. Control, November, 2023

Opacity Enforcement via Attribute-Based Edit Functions in the Presence of an Intended Receiver.
IEEE Trans. Autom. Control., September, 2023

Probabilistic verification of diagnosability for a certain class of timed stochastic systems.
Syst. Control. Lett., June, 2023

Distributed Event-Triggered Algorithms for Finite-Time Privacy-Preserving Quantized Average Consensus.
IEEE Trans. Control. Netw. Syst., March, 2023

Fast Coordination of Distributed Energy Resources Over Time-Varying Communication Networks.
IEEE Trans. Autom. Control., February, 2023

Secure gossip against intermittently malicious agents.
Syst. Control. Lett., 2023

Identification of Malicious Activity in Distributed Average Consensus via Non-Concurrent Checking.
IEEE Control. Syst. Lett., 2023

Edit Mechanism Synthesis for Opacity Enforcement Under Uncertain Observations.
IEEE Control. Syst. Lett., 2023

Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems.
CoRR, 2023

Trustworthy Distributed Average Consensus based on Locally Assessed Trust Evaluations.
CoRR, 2023

Distributed Optimization for Quadratic Cost Functions over Large-Scale Networks with Quantized Communication and Finite-Time Convergence.
CoRR, 2023

Reduced-Complexity Approach for Opacity Enforcement Based on Extended Insertion Functions with Limited Insertion Events.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023

Decentralized State Estimation via Breadth-First Search Through Partially Ordered Observation Sequences.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Harnessing HARQ Retransmissions for Fast Average Consensus Over Unreliable Communication Channels.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Logical and probabilistic aspects of state estimation for Markovian systems.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Utilizing Feedback Channel Mechanisms for Reaching Average Consensus over Directed Network Topologies.
Proceedings of the American Control Conference, 2023

Privacy-Preservation for Distributed Quantized k-means Clustering.
Proceedings of the 59th Annual Allerton Conference on Communication, 2023

2022
Distributed Negotiation for Reaching Agreement Among Reluctant Players in Cooperative Multiagent Systems.
IEEE Trans. Autom. Control., 2022

Observers for a Class of Timed Automata Based on Elapsed Time Graphs.
IEEE Trans. Autom. Control., 2022

Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems.
IEEE Trans. Autom. Control., 2022

Finite-Time Distributed Flow Balancing.
IEEE Trans. Autom. Control., 2022

Diagnosability of fault patterns with labeled stochastic Petri nets.
Inf. Sci., 2022

Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection.
Discret. Event Dyn. Syst., 2022

Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection.
Discret. Event Dyn. Syst., 2022

State-Labeled Safety Analysis of Modular Observers for Opacity Verification.
IEEE Control. Syst. Lett., 2022

Guest Editorial to the Special Section of L-CSS on Fragility and Resiliency in Cyber-Physical Discrete-Event Systems.
IEEE Control. Syst. Lett., 2022

Distributed Computation of Exact Average Degree and Network Size in Finite Number of Steps under Quantized Communication.
CoRR, 2022

ARQ-based Average Consensus over Unreliable Directed Network Topologies.
CoRR, 2022

Optimal Database Allocation in Finite Time with Efficient Communication and Transmission Stopping over Dynamic Networks.
CoRR, 2022

Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation.
CoRR, 2022

Non-oscillating quantized average consensus over dynamic directed topologies.
Autom., 2022

Private Consensus using Chaotic Oscillator-Based Encryption.
Proceedings of the 30th Mediterranean Conference on Control and Automation, 2022

Privacy-Preserving Distributed Average Consensus in Finite Time using Random Gossip.
Proceedings of the European Control Conference, 2022

Distributed Finite-Time k-means Clustering with Quantized Communucation and Transmission Stopping.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Finite-Time Privacy-Preserving Quantized Average Consensus with Transmission Stopping.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Distributed Optimal Data Allocation in Finite Time with Efficient Communication and Transmission Stopping over Dynamic Networks.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Cybersecurity and Supervisory Control: A Tutorial on Robust State Estimation, Attack Synthesis, and Resilient Control.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Trustworthy Distributed Average Consensus.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Distributed CPU Scheduling Subject to Nonlinear Constraints.
Proceedings of the IEEE Conference on Control Technology and Applications, 2022

Reduced Complexity Verification of Almost-Infinite-Step Opacity in Stochastic Discrete-Event Systems<sup>*</sup>.
Proceedings of the American Control Conference, 2022

A Secure Communication Protocol with Application to Networked Kalman Filtering.
Proceedings of the American Control Conference, 2022

Synchronized Stop and Re-Start in Distributed Average Consensus for Control and Coordination Applications.
Proceedings of the 58th Annual Allerton Conference on Communication, 2022

2021
Jump LQR Systems With Unknown Transition Probabilities.
IEEE Trans. Autom. Control., 2021

Distributed Integer Balancing Under Weight Constraints in the Presence of Transmission Delays.
IEEE Trans. Autom. Control., 2021

Event-Triggered Quantized Average Consensus via Ratios of Accumulated Values.
IEEE Trans. Autom. Control., 2021

Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems.
IEEE Trans. Autom. Control., 2021

Distributed Balancing Under Flow Constraints Over Arbitrary Communication Topologies.
IEEE Trans. Autom. Control., 2021

Analysis and Control for Resilience of Discrete Event Systems: Fault Diagnosis, Opacity and Cyber Security.
Found. Trends Syst. Control., 2021

Editorial - Thirty years of J-DEDS: moving on with new leadership.
Discret. Event Dyn. Syst., 2021

Finite Time Exact Quantized Average Consensus with Limited Resources and Transmission Stopping for Energy-Aware Networks.
CoRR, 2021

Fast Quantized Average Consensus over Static and Dynamic Directed Graphs.
CoRR, 2021

Detection of collaborative misbehaviour in distributed cyber-attacks.
Comput. Commun., 2021

Error- and Tamper-Tolerant Decentralized Diagnosability of Discrete Event Systems under Cost Constraints<sup>*</sup>.
Proceedings of the 2021 European Control Conference, 2021

Privacy Enforcement Strategies in Discrete Event Systems via Observation Modification and Supervisory Control.
Proceedings of the 2021 European Control Conference, 2021

Linear Quadratic Tracking Control of Hidden Markov Jump Linear Systems Subject to Ambiguity.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

A Distributionally Robust LQR for Systems with Multiple Uncertain Players.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Optimal CPU Scheduling in Data Centers via a Finite-Time Distributed Quantized Coordination Mechanism.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Distributed C-Means Clustering Via Broadcast-Only Token Passing.
IEEE Trans. Control. Netw. Syst., 2020

Privacy-Preserving Distributed Averaging via Homomorphically Encrypted Ratio Consensus.
IEEE Trans. Autom. Control., 2020

Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers.
Discret. Event Dyn. Syst., 2020

Extended Insertion Functions for Opacity Enforcement.
CoRR, 2020

Event-Triggered Quantized Average Consensus via Mass Summation.
CoRR, 2020

Privacy-Preserving Distributed Coordination of Distributed Energy Resources.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Privacy-Preserving Event-Triggered Quantized Average Consensus.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Stability Analysis of Droop-Controlled Inverter-Based Power Grids via Timescale Separation.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Optimal Communication Topology and Static Output Feedback of Networked Collocated Actuator/Sensor Pairs in Distributed Parameter Systems.
Proceedings of the 2020 American Control Conference, 2020

2019
Distributed Balancing With Constrained Integer Weights.
IEEE Trans. Autom. Control., 2019

Distributed Flow Network Balancing With Minimal Effort.
IEEE Trans. Autom. Control., 2019

Distributed Balancing of Commodity Networks Under Flow Interval Constraints.
IEEE Trans. Autom. Control., 2019

Distributed Average Consensus under Quantized Communication via Event-Triggered Mass Splitting.
CoRR, 2019

Fast Distributed Coordination of Distributed Energy Resources Over Time-Varying Communication Networks.
CoRR, 2019

Distributed Integer Balancing under Weight Constraints in the Presence of Transmission Delays and Packet Drops.
CoRR, 2019

Revelation Time for Initial-State Opacity Measurement in Timed Discrete Event Systems.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Exposure Time as a Measure of Opacity in Timed Discrete Event Systems.
Proceedings of the 17th European Control Conference, 2019

Trajectory-observers of timed stochastic discrete event systems: Applications to privacy analysis.
Proceedings of the 6th International Conference on Control, 2019

Robust LQG for Markov Jump Linear Systems.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Verification of AA-Diagnosability in Probabilistic Finite Automata is PSPACE-Hard.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Privacy-Preserving Average Consensus over Digraphs in the Presence of Time Delays.
Proceedings of the 57th Annual Allerton Conference on Communication, 2019

2018
Distributed Integer Weight Balancing in the Presence of Time Delays in Directed Graphs.
IEEE Trans. Control. Netw. Syst., 2018

Distributed Cycle Detection and Removal.
IEEE Trans. Control. Netw. Syst., 2018

Distributed Calculation of Edge-Disjoint Spanning Trees for Robustifying Distributed Algorithms Against Man-in-the-Middle Attacks.
IEEE Trans. Control. Netw. Syst., 2018

Distributed Stopping for Average Consensus in Digraphs.
IEEE Trans. Control. Netw. Syst., 2018

Revised Test for Stochastic Diagnosability of Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng., 2018

Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements.
IEEE Trans. Autom. Control., 2018

Distributed Averaging and Balancing in Network Systems: with Applications to Coordination and Control.
Found. Trends Syst. Control., 2018

Probabilistic system opacity in discrete event systems.
Discret. Event Dyn. Syst., 2018

Incremental Observer Reduction Applied to Opacity Verification and Synthesis.
CoRR, 2018

On the history of diagnosability and opacity in discrete event systems.
Annu. Rev. Control., 2018

When to stop iterating in digraphs of unknown size? An application to finite-time average consensus.
Proceedings of the 16th European Control Conference, 2018

Distributed Algorithms for Estimation and Inference in Discrete Event Systems: Implications to Diagnosability and Opacity.
Proceedings of the 5th International Conference on Control, 2018

Distributed Average Consensus under Quantized Communication via Event- Triggered Mass Summation.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Privary Preserving Distributed Average Consensus via Homomorphic Encryption.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Laplacian-based matrix design for finite-time aveazge consensus in digraphs.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017
A Distributed Frequency Regulation Architecture for Islanded Inertialess AC Microgrids.
IEEE Trans. Control. Syst. Technol., 2017

Distributed Finite-Time Average-Consensus With Limited Computational and Storage Capability.
IEEE Trans. Control. Netw. Syst., 2017

Approximation of Markov Processes by Lower Dimensional Processes via Total Variation Metrics.
IEEE Trans. Autom. Control., 2017

Marking Observer in Labeled Petri Nets With Application to Supervisory Control.
IEEE Trans. Autom. Control., 2017

Verification of detectability in Probabilistic Finite Automata.
Autom., 2017

Distributed weight balancing under integer constraints in the presence of packet drops.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Distributed and proximity-constrained C-means for discrete coverage control.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Distributed balancing under interval flow constraints in directed communication topologies.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Reconstruction of gene regulatory networks using an error filtering learning scheme.
Proceedings of the 55th Annual Allerton Conference on Communication, 2017

Distributed flow balancing over unreliable communication links.
Proceedings of the 55th Annual Allerton Conference on Communication, 2017

2016
Distributed Finite-Time Computation of Digraph Parameters: Left-Eigenvector, Out-Degree and Spectrum.
IEEE Trans. Control. Netw. Syst., 2016

Robust Distributed Average Consensus via Exchange of Running Sums.
IEEE Trans. Autom. Control., 2016

Distributed finite-time calculation of node eccentricities, graph radius and graph diameter.
Syst. Control. Lett., 2016

Distributed, Sparse and Asynchronous C-Means for Robust Coverage with Networked Robots.
CoRR, 2016

Distributed stopping for average consensus in undirected graphs via event-triggered strategies.
Autom., 2016

Decentralized state estimation in discrete event systems under partially ordered observation sequences.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Robust Linear Quadratic Regulator for uncertain systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Distributed integer weight balancing within interval constraints.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Distributed asynchronous Cholesky decomposition.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Distributed C-means data clustering algorithm.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

K-detectability in discrete event systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Distributed balancing in digraphs under interval constraints.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Totally asynchronous distributed estimation of eigenvector centrality in digraphs with application to the PageRank problem.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
A Distributed Generation Control Architecture for Islanded AC Microgrids.
IEEE Trans. Control. Syst. Technol., 2015

Distributed Finite-Time Average Consensus in Digraphs in the Presence of Time Delays.
IEEE Trans. Control. Netw. Syst., 2015

Probabilistic Marking Estimation in Labeled Petri Nets.
IEEE Trans. Autom. Control., 2015

Detectability in stochastic discrete event systems.
Syst. Control. Lett., 2015

Distributed resource coordination in networked systems described by digraphs.
Syst. Control. Lett., 2015

Fault model identification and synthesis in Petri nets.
Discret. Event Dyn. Syst., 2015

Finite-Time Approximate Consensus and Its Application to Distributed Frequency Regulation in Islanded AC Microgrids.
Proceedings of the 48th Hawaii International Conference on System Sciences, 2015

Integer weight balancing in directed graphs in the presence of communication delays.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Distributed frequency control of inertia-less AC microgrids.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014
Distributed Weight Balancing Over Digraphs.
IEEE Trans. Control. Netw. Syst., 2014

Guest Editorial Special Section on Advances in Discrete-Event Systems for Automation.
IEEE Trans Autom. Sci. Eng., 2014

Current-State Opacity Formulations in Probabilistic Finite Automata.
IEEE Trans. Autom. Control., 2014

Average Consensus in the Presence of Delays in Directed Graph Topologies.
IEEE Trans. Autom. Control., 2014

Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications.
Discret. Event Dyn. Syst., 2014

Hidden Markov Model Classification Based on Empirical Frequencies of Observed Symbols.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Distributed stopping for average consensus in directed graphs via a randomized event-triggered strategy.
Proceedings of the 6th International Symposium on Communications, 2014

Distributed minimum-time weight balancing over digraphs.
Proceedings of the 6th International Symposium on Communications, 2014

Team optimality conditions of differential decision systems with nonclasssical information structures.
Proceedings of the 13th European Control Conference, 2014

Opacity formulations and verification in discrete event systems.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

State feedback control of labeled Petri nets with uncertainty in the initial marking.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Approximation of Markov processes by lower dimensional processes.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Distributed diagnosis using predetermined synchronization strategies.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Convergence rate of a distributed algorithm for matrix scaling to doubly stochastic form.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Average consensus in the presence of dynamically changing directed topologies and time delays.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Initial marking estimation in labeled Petri nets in a probabilistic setting.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Distributed stopping for average consensus using double linear iterative strategies.
Proceedings of the 52nd Annual Allerton Conference on Communication, 2014

2013
Structural Controllability and Observability of Linear Systems Over Finite Fields With Applications to Multi-Agent Systems.
IEEE Trans. Autom. Control., 2013

Minimum Initial Marking Estimation in Labeled Petri Nets.
IEEE Trans. Autom. Control., 2013

Distributed Matrix Scaling and Application to Average Consensus in Directed Graphs.
IEEE Trans. Autom. Control., 2013

Verification of initial-state opacity in security applications of discrete event systems.
Inf. Sci., 2013

Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking.
Proceedings of the IEEE International Conference on Systems, 2013

Privacy-preserving asymptotic average consensus.
Proceedings of the 12th European Control Conference, 2013

Distributed formation of balanced and bistochastic weighted digraphs in multi-agent systems.
Proceedings of the 12th European Control Conference, 2013

Initial state opacity in stochastic DES.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Distributed balancing of a digraph with integer weights.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Intersection based decentralized diagnosis: Implementation and verification.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Decentralised minimum-time average consensus in digraphs.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Distributed stopping in average consensus via event-triggered strategies.
Proceedings of the 51st Annual Allerton Conference on Communication, 2013

2012
Verification of Infinite-Step Opacity and Complexity Considerations.
IEEE Trans. Autom. Control., 2012

Opacity-Enforcing Supervisory Strategies via State Estimator Constructions.
IEEE Trans. Autom. Control., 2012

Resilient Networked Control of Distributed Energy Resources.
IEEE J. Sel. Areas Commun., 2012

Average Consensus in the Presence of Delays and Dynamically Changing Directed Graph Topologies
CoRR, 2012

Distributed Formation of Balanced and Bistochastic Weighted Diagraphs in Multi-Agent Systems
CoRR, 2012

Robust average consensus over packet dropping links: Analysis via coefficients of ergodicity.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Resilient average consensus in the presence of heterogeneous packet dropping links.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Decentralized optimal dispatch of distributed energy resources.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Distributed network size estimation and average degree estimation and control in networks isomorphic to directed graphs.
Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011
Failure Identification in Smart Grids Based on Petri Net Modeling.
IEEE Trans. Ind. Electron., 2011

Verification of K-Step Opacity and Analysis of Its Complexity.
IEEE Trans Autom. Sci. Eng., 2011

Least-Cost Transition Firing Sequence Estimation in Labeled Petri Nets With Unobservable Transitions.
IEEE Trans Autom. Sci. Eng., 2011

Distributed Function Calculation via Linear Iterative Strategies in the Presence of Malicious Agents.
IEEE Trans. Autom. Control., 2011

Distributed Algorithms for Consensus and Coordination in the Presence of Packet-Dropping Communication Links - Part II: Coefficients of Ergodicity Analysis Approach
CoRR, 2011

Distributed Algorithms for Consensus and Coordination in the Presence of Packet-Dropping Communication Links - Part I: Statistical Moments Analysis Approach
CoRR, 2011

A novel 3-d model for node and system trust.
Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011

Security in the Cache and Forward Architecture for the Next Generation Internet.
Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011

Bounds on the probability of misclassification among hidden Markov models.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Distributed strategies for average consensus in directed graphs.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Distributed algorithms for control of demand response and distributed energy resources.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Optimal encoder and control strategies in stochastic control subject to rate constraints for channels with memory and feedback.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Marginal analysis on binary pairwise Gibbs random fields.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

Constrained sensor selection for discrete event systems modeled by Petri nets.
Proceedings of the American Control Conference, 2011

Asynchronous coordination of distributed energy resources for the provisioning of ancillary services.
Proceedings of the 49th Annual Allerton Conference on Communication, 2011

2010
Sensor Selection for Structural Observability in Discrete Event Systems Modeled by Petri Nets.
IEEE Trans. Autom. Control., 2010

Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations.
IEEE Trans. Autom. Control., 2010

Reduced-complexity verification for initial-state opacity in modular discrete event systems.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Security in Future Mobile Sensor Networks - Issues and Challenges.
Proceedings of the SECRYPT 2010, 2010

The wireless control network: Monitoring for malicious behavior.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Opacity verification in stochastic discrete event systems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Performance analysis of sum-product algorithms for multiple fault diagnosis applications.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

On the time complexity of information dissemination via linear iterative strategies.
Proceedings of the American Control Conference, 2010

Control of quantized multi-agent systems with linear nearest neighbor rules: A finite field approach.
Proceedings of the American Control Conference, 2010

Supervisory control strategies for enhancing system security and privacy.
Proceedings of the 48th Annual Allerton Conference on Communication, 2010

Capacity of channels with memory and feedback: Encoder properties and dynamic programming.
Proceedings of the 48th Annual Allerton Conference on Communication, 2010

2009
Nonconcurrent Error Correction in the Presence of Roundoff Noise.
IEEE Trans. Circuits Syst. I Regul. Pap., 2009

Bounds on the Number of Markings Consistent With Label Observations in Petri Nets.
IEEE Trans Autom. Sci. Eng., 2009

Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets.
Discret. Event Dyn. Syst., 2009

Information dissemination in networks via linear iterative strategies over finite fields.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Reachability analysis for a class of Petri nets.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008
Bounds on FSM Switching Activity.
J. Signal Process. Syst., 2008

Determination of the Number of Errors in DFT Codes Subject to Low-Level Quantization Noise.
IEEE Trans. Signal Process., 2008

Fault-Tolerant Convolution Via Chinese Remainder Codes Constructed From Non-Coprime Moduli.
IEEE Trans. Signal Process., 2008

Designs of Bisimilar Petri Net Controllers With Fault Tolerance Capabilities.
IEEE Trans. Syst. Man Cybern. Part A, 2008

Graphical Inference for Multiple Intrusion Detection.
IEEE Trans. Inf. Forensics Secur., 2008

Decoding algorithm and architecture for BCH codes under the Lee Metric.
IEEE Trans. Commun., 2008

Joint preprocessing and feedback strategies for perfectly reconstructing equalizers.
IEEE J. Sel. Areas Commun., 2008

Distributed function calculation and consensus using linear iterative strategies.
IEEE J. Sel. Areas Commun., 2008

Partial state observers for linear systems with unknown inputs.
Autom., 2008

Low-complexity max-product algorithms for problems of multiple fault diagnosis.
Proceedings of the 10th International Conference on Control, 2008

Distributed calculation of linear functions in noisy networks via linear iterations.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Opacity-enforcing supervisory strategies for secure discrete event systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Probability of error bounds for failure diagnosis and classification in hidden Markov models.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Distributed function calculation via linear iterations in the presence of malicious agents - Part II: Overcoming malicious behavior.
Proceedings of the American Control Conference, 2008

Distributed function calculation via linear iterations in the presence of malicious agents - Part I: Attacking the network.
Proceedings of the American Control Conference, 2008

Improved Performance Bounds on Max-Product Algorithms for Multiple Fault Diagnosis in Graphs with Loops.
Proceedings of the 2008 IEEE International Symposium on Intelligent Control, 2008

2007
A Robust Control Approach to Perfect Reconstruction of Digital Signals.
IEEE Trans. Signal Process., 2007

Max-Product Algorithms for the Generalized Multiple-Fault Diagnosis Problem.
IEEE Trans. Syst. Man Cybern. Part B, 2007

Soft-Decision Decoding Using Ordered Recodings on the Most Reliable Basis.
IEEE Trans. Inf. Theory, 2007

Soft-Decision Decoding of Linear Block Codes Using Preprocessing and Diversification.
IEEE Trans. Inf. Theory, 2007

Delayed Observers for Linear Systems With Unknown Inputs.
IEEE Trans. Autom. Control., 2007

Dynamical models for fault detection in squirrel cage induction motors.
Int. J. Crit. Infrastructures, 2007

Distributed consensus and linear functional calculation in networks: an observability perspective.
Proceedings of the 6th International Conference on Information Processing in Sensor Networks, 2007

On the role of feedback in the design of perfectly reconstructing equalizers.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Notions of security and opacity in discrete event systems.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Approximating optimal place sensor selection for structural observability in discrete event systems modeled by Petri Nets.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Reconstruction of Transition Firing Sequences Based on Asynchronous Observations of Place Token Changes.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Finite-Time Distributed Consensus in Graphs with Time-Invariant Topologies.
Proceedings of the American Control Conference, 2007

Fault-Tolerant Supervisory Control of Discrete Event Systems Modeled by Bounded Petri Nets.
Proceedings of the American Control Conference, 2007

Least-Cost Firing Sequence Estimation in Labeled Petri Nets with Unobservable Transitions.
Proceedings of the American Control Conference, 2007

2006
Comments on "A Modified Reachability Tree Approach to Analysis of Unbounded Petri Nets.
IEEE Trans. Syst. Man Cybern. Part B, 2006

Error detection and correction in switched linear controllers via periodic and non-concurrent checks.
Autom., 2006

Graphical Inference Methods for Fault Diagnosis based on Information from Unreliable Sensors.
Proceedings of the Ninth International Conference on Control, 2006

The <i>d</i>-Identifying Codes Problem for Vertex Identification in Graphs: Probabilistic Analysis and an Approximation Algorithm.
Proceedings of the Computing and Combinatorics, 12th Annual International Conference, 2006

Optimal State Estimators for Linear Systems with Unknown Inputs.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Designing Stable Inverters and State Observers for Switched Linear Systems with Unknown Inputs.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

State Estimation in Discrete Event Systems Modeled by Labeled Petri Nets.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Least-Cost Transition Firing Sequence Estimation in Labeled Petri Nets.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Time-varying power-limited preprocessing for perfect reconstruction of binary signals.
Proceedings of the American Control Conference, 2006

Decentralized failure diagnosis in discrete event systems.
Proceedings of the American Control Conference, 2006

2005
Probabilistic approaches to fault detection in networked discrete event systems.
IEEE Trans. Neural Networks, 2005

Coding approaches to fault tolerance in linear dynamic systems.
IEEE Trans. Inf. Theory, 2005

Quantization of FIR filters under a total integer cost constraint.
IEEE Trans. Circuits Syst. II Express Briefs, 2005

Aliasing Probability Calculations for Arbitrary Compaction under Independently Selected Random Test Vectors.
IEEE Trans. Computers, 2005

Algebraic approaches for fault identification in discrete-event systems.
IEEE Trans. Autom. Control., 2005

Probabilistic detection of FSM single state-transition faults based on state occupancy measurements.
IEEE Trans. Autom. Control., 2005

Finite-state machine embeddings for nonconcurrent error detection and identification.
IEEE Trans. Autom. Control., 2005

On solving composite power polynomial equations.
Math. Comput., 2005

Encoder-Decoder Design for Perfect Reconstruction: A Robust Control Perspective.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Maximum Likelihood Diagnosis in Partially Observable Finite State Machines.
Proceedings of the Intelligent Control, 2005

2004
Coding Techniques for Fault-Tolerant Parallel Prefix Computations in Abelian Groups.
Comput. J., 2004

Periodic and non-concurrent error detection and identification in one-hot encoded FSMs.
Autom., 2004

Soft-decision decoding of linear block codes using preprocessing.
Proceedings of the 2004 IEEE International Symposium on Information Theory, 2004

Non-concurrent Error Detection and Correction in Switched Linear Controllers.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Optimal preprocessing strategies for perfect reconstruction of binary signals under power-constrained transmission.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Detuning detection in induction motors.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Fault detection and identification in Petri net controllers.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Synchronization-based fault detection in discrete event systems.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Model-based broken rotor bar detection on an IFOC driven squirrel cage induction motor.
Proceedings of the 2004 American Control Conference, 2004

2003
Nonconcurrent error detection and correction in fault-tolerant linear finite-state machines.
IEEE Trans. Autom. Control., 2003

Aliasing probability calculations in nonlinear compactors.
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

Encoded finite-state machines for non-concurrent error detection and identification.
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

Upper and lower bounds on FSM switching activity.
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

A perfect reconstruction paradigm for digital communication.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

A systems approach to channel equalization.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Finite-state machine embeddings for non-concurrent error detection and identification.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002
Encoded dynamics for fault tolerance in linear finite-state machines.
IEEE Trans. Autom. Control., 2002

Fault-tolerant computation in groups and semigroups: applications to automata, dynamic systems and Petri nets.
J. Frankl. Inst., 2002

Non-concurrent fault identification in discrete event systems using encoded Petri net states.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Feedback control utilizing packet dropping network links.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Probabilistic fault detection in finite-state machines based on state occupancy measurements.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems.
The Kluwer international series in engineering and computer science, Springer, ISBN: 978-0-7923-7624-8, 2002

2001
Power system monitoring based on relay and circuit breaker information.
Proceedings of the 2001 International Symposium on Circuits and Systems, 2001

Soft-decision decoding of linear block codes using efficient iterative G-space encodings.
Proceedings of the Global Telecommunications Conference, 2001

Non-concurrent error detection and correction in discrete-time LTI dynamic systems.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Stochastic testing of finite state machines.
Proceedings of the American Control Conference, 2001

2000
Fault-tolerant discrete-time linear time-invariant filters.
Proceedings of the IEEE International Conference on Acoustics, 2000

1999
Coding approaches to fault tolerance in dynamic systems.
PhD thesis, 1999

Structured redundancy for fault tolerance in state-space models and Petri nets.
Kybernetika, 1999

Fault-tolerant linear finite state machines.
Proceedings of the 6th IEEE International Conference on Electronics, Circuits and Systems, 1999

Monitoring Discrete Event Systems Using Petri Net Embeddings.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

1994
Memory Assignment for Multiprocessor Caches through Grey Coloring.
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994


  Loading...