Christoforos N. Hadjicostis

CoRR, 2011

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

[BibT_eX]

[DOI]

Nitin H. Vaidya

CoRR, 2011

A novel 3-d model for node and system trust.

[BibT_eX]

[DOI]

George C. Hadjichristofi

George Kappos

Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011

Security in the Cache and Forward Architecture for the Next Generation Internet.

[BibT_eX]

[DOI]

George C. Hadjichristofi

Dipankar Raychaudhuri

Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011

Bounds on the probability of misclassification among hidden Markov models.

[BibT_eX]

[DOI]

Christoforos Keroglou

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Distributed strategies for average consensus in directed graphs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Charalambos D. Charalambous

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.

[BibT_eX]

[DOI]

Christos K. Kourtellaris

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Marginal analysis on binary pairwise Gibbs random fields.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

Constrained sensor selection for discrete event systems modeled by Petri nets.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2011

Asynchronous coordination of distributed energy resources for the provisioning of ancillary services.

[BibT_eX]

[DOI]

Themistoklis Charalambous

Proceedings of the 49th Annual Allerton Conference on Communication, 2011

2010

Sensor Selection for Structural Observability in Discrete Event Systems Modeled by Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2010

Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2010

Reduced-complexity verification for initial-state opacity in modular discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Security in Future Mobile Sensor Networks - Issues and Challenges.

[BibT_eX]

Eliana Stavrou

Andreas Pitsillides

George C. Hadjichristofi

Proceedings of the SECRYPT 2010, 2010

The wireless control network: Monitoring for malicious behavior.

[BibT_eX]

[DOI]

Miroslav Pajic

Rahul Mangharam

George J. Pappas

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Opacity verification in stochastic discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Performance analysis of sum-product algorithms for multiple fault diagnosis applications.

[BibT_eX]

[DOI]

Sekhar Tatikonda

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

On the time complexity of information dissemination via linear iterative strategies.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2010

Control of quantized multi-agent systems with linear nearest neighbor rules: A finite field approach.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2010

Supervisory control strategies for enhancing system security and privacy.

[BibT_eX]

[DOI]

Charalambos D. Charalambous

Proceedings of the 48th Annual Allerton Conference on Communication, 2010

Capacity of channels with memory and feedback: Encoder properties and dynamic programming.

[BibT_eX]

[DOI]

Christos K. Kourtellaris

Proceedings of the 48th Annual Allerton Conference on Communication, 2010

2009

Nonconcurrent Error Correction in the Presence of Roundoff Noise.

[BibT_eX]

[DOI]

Georgios Takos

IEEE Trans. Circuits Syst. I Regul. Pap., 2009

Bounds on the Number of Markings Consistent With Label Observations in Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2009

Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2009

Information dissemination in networks via linear iterative strategies over finite fields.

[BibT_eX]

[DOI]

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

Reachability analysis for a class of Petri nets.

[BibT_eX]

[DOI]

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

2008

Bounds on FSM Switching Activity.

[BibT_eX]

[DOI]

J. Signal Process. Syst., 2008

Determination of the Number of Errors in DFT Codes Subject to Low-Level Quantization Noise.

[BibT_eX]

[DOI]

Georgios Takos

IEEE Trans. Signal Process., 2008

Fault-Tolerant Convolution Via Chinese Remainder Codes Constructed From Non-Coprime Moduli.

[BibT_eX]

[DOI]

IEEE Trans. Signal Process., 2008

Designs of Bisimilar Petri Net Controllers With Fault Tolerance Capabilities.

[BibT_eX]

[DOI]

R. S. Sreenivas

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

Graphical Inference for Multiple Intrusion Detection.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2008

Decoding algorithm and architecture for BCH codes under the Lee Metric.

[BibT_eX]

[DOI]

IEEE Trans. Commun., 2008

Joint preprocessing and feedback strategies for perfectly reconstructing equalizers.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2008

Distributed function calculation and consensus using linear iterative strategies.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2008

Partial state observers for linear systems with unknown inputs.

[BibT_eX]

[DOI]

Autom., 2008

Low-complexity max-product algorithms for problems of multiple fault diagnosis.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Control, 2008

Distributed calculation of linear functions in noisy networks via linear iterations.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Opacity-enforcing supervisory strategies for secure discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications.

[BibT_eX]

[DOI]

Maria Paola Cabasino

Alessandro Giua

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Probability of error bounds for failure diagnosis and classification in hidden Markov models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2008

Distributed function calculation via linear iterations in the presence of malicious agents - Part I: Attacking the network.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2008

Improved Performance Bounds on Max-Product Algorithms for Multiple Fault Diagnosis in Graphs with Loops.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Symposium on Intelligent Control, 2008

2007

A Robust Control Approach to Perfect Reconstruction of Digital Signals.

[BibT_eX]

[DOI]

IEEE Trans. Signal Process., 2007

Max-Product Algorithms for the Generalized Multiple-Fault Diagnosis Problem.

[BibT_eX]

[DOI]

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

Soft-Decision Decoding Using Ordered Recodings on the Most Reliable Basis.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2007

Soft-Decision Decoding of Linear Block Codes Using Preprocessing and Diversification.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2007

Delayed Observers for Linear Systems With Unknown Inputs.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2007

Dynamical models for fault detection in squirrel cage induction motors.

[BibT_eX]

[DOI]

Hugo Rodriguez-Cortes

Aleksandar M. Stankovic

Int. J. Crit. Infrastructures, 2007

Distributed consensus and linear functional calculation in networks: an observability perspective.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Notions of security and opacity in discrete event systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Reconstruction of Transition Firing Sequences Based on Asynchronous Observations of Place Token Changes.

[BibT_eX]

[DOI]

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

Finite-Time Distributed Consensus in Graphs with Time-Invariant Topologies.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

Fault-Tolerant Supervisory Control of Discrete Event Systems Modeled by Bounded Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

Least-Cost Firing Sequence Estimation in Labeled Petri Nets with Unobservable Transitions.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

2006

Comments on "A Modified Reachability Tree Approach to Analysis of Unbounded Petri Nets.

[BibT_eX]

[DOI]

Weimin Wu

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

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

[BibT_eX]

[DOI]

Autom., 2006

Graphical Inference Methods for Fault Diagnosis based on Information from Unreliable Sensors.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Control, 2006

The d-Identifying Codes Problem for Vertex Identification in Graphs: Probabilistic Analysis and an Approximation Algorithm.

[BibT_eX]

[DOI]

Ying Xiao

Krishnaiyan Thulasiraman

Proceedings of the Computing and Combinatorics, 12th Annual International Conference, 2006

Optimal State Estimators for Linear Systems with Unknown Inputs.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Designing Stable Inverters and State Observers for Switched Linear Systems with Unknown Inputs.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

State Estimation in Discrete Event Systems Modeled by Labeled Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Least-Cost Transition Firing Sequence Estimation in Labeled Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Time-varying power-limited preprocessing for perfect reconstruction of binary signals.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

Decentralized failure diagnosis in discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

2005

Probabilistic approaches to fault detection in networked discrete event systems.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks, 2005

Coding approaches to fault tolerance in linear dynamic systems.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2005

Quantization of FIR filters under a total integer cost constraint.

[BibT_eX]

[DOI]

Ashley J. Llorens

Hen Chi Ni

IEEE Trans. Circuits Syst. II Express Briefs, 2005

Aliasing Probability Calculations for Arbitrary Compaction under Independently Selected Random Test Vectors.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2005

Algebraic approaches for fault identification in discrete-event systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2005

Probabilistic detection of FSM single state-transition faults based on state occupancy measurements.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2005

Finite-state machine embeddings for nonconcurrent error detection and identification.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2005

On solving composite power polynomial equations.

[BibT_eX]

[DOI]

Math. Comput., 2005

Encoder-Decoder Design for Perfect Reconstruction: A Robust Control Perspective.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Control, 2005

2004

Coding Techniques for Fault-Tolerant Parallel Prefix Computations in Abelian Groups.

[BibT_eX]

[DOI]

Comput. J., 2004

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

[BibT_eX]

[DOI]

Autom., 2004

Soft-decision decoding of linear block codes using preprocessing.

[BibT_eX]

[DOI]

Ralf Koetter

Proceedings of the 2004 IEEE International Symposium on Information Theory, 2004

Non-concurrent Error Detection and Correction in Switched Linear Controllers.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Detuning detection in induction motors.

[BibT_eX]

[DOI]

Hugo Rodriguez-Cortes

Aleksandar M. Stankovic

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Fault detection and identification in Petri net controllers.

[BibT_eX]

[DOI]

Ramavarapu S. Sreenivas

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Synchronization-based fault detection in discrete event systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Hugo Rodriguez-Cortes

Aleksandar M. Stankovic

Proceedings of the 2004 American Control Conference, 2004

2003

Nonconcurrent error detection and correction in fault-tolerant linear finite-state machines.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2003

Aliasing probability calculations in nonlinear compactors.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

Encoded finite-state machines for non-concurrent error detection and identification.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

Upper and lower bounds on FSM switching activity.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

A perfect reconstruction paradigm for digital communication.

[BibT_eX]

[DOI]

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

A systems approach to channel equalization.

[BibT_eX]

[DOI]

S. Venkatesh

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

Finite-state machine embeddings for non-concurrent error detection and identification.

[BibT_eX]

[DOI]

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

2002

Encoded dynamics for fault tolerance in linear finite-state machines.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2002

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

[BibT_eX]

[DOI]

J. Frankl. Inst., 2002

Non-concurrent fault identification in discrete event systems using encoded Petri net states.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Feedback control utilizing packet dropping network links.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Probabilistic fault detection in finite-state machines based on state occupancy measurements.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Symposium on Circuits and Systems, 2001

Soft-decision decoding of linear block codes using efficient iterative G-space encodings.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2001

Non-concurrent error detection and correction in discrete-time LTI dynamic systems.

[BibT_eX]

[DOI]

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

Stochastic testing of finite state machines.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2001

2000

Fault-tolerant discrete-time linear time-invariant filters.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2000

1999

Coding approaches to fault tolerance in dynamic systems.

[BibT_eX]

[DOI]

PhD thesis, 1999

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

[BibT_eX]

[DOI]

Kybernetika, 1999

Fault-tolerant linear finite state machines.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Conference on Electronics, Circuits and Systems, 1999

Monitoring Discrete Event Systems Using Petri Net Embeddings.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1994

Memory Assignment for Multiprocessor Caches through Grey Coloring.

[BibT_eX]

[DOI]

Anant Agarwal

John V. Guttag