Danielle C. Tarraf

IEEE Trans. Autom. Control., 2018

2017

Finite Uniform Bisimulations for Linear Systems With Finite Input Alphabets.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Majority is Not Always Supreme: Less Can Be More When Voting with Compromised Nodes.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

2016

A finite state output-feedback controller for constrained linear systems with quantized output.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Algebraic decompositions of DP problems with linear dynamics.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2015

Efficiently detecting lack of robustness in finite alphabet logistic networks.

[BibT_eX]

[DOI]

Vincent Yan

Proceedings of the 49th Annual Conference on Information Sciences and Systems, 2015

On synchronizing sampling and quantization for ρ/μ approximation based stabilization of second order LTI systems under binary sensing.

[BibT_eX]

[DOI]

Xinlei Zhang

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

On existence and construction of finite uniform bisimulations for linear systems with finite input alphabets.

[BibT_eX]

[DOI]

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

On initialization of finite state ρ/μ approximations of systems finite alphabets.

[BibT_eX]

[DOI]

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

2014

An Input-Output Construction of Finite State $\rho/\mu$ Approximations for Control Design.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Finite alphabet control of logistic networks with discrete uncertainty.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2014

On synchronizing sampling and quantization for stabilizing the double integrator under binary sensing.

[BibT_eX]

[DOI]

Xinlei Zhang

Proceedings of the 22nd Mediterranean Conference on Control and Automation, 2014

On finite memory observability of a class of systems over finite alphabets with linear dynamics.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Optimizing the scaling parameter for ρ/μ approximation based control synthesis.

[BibT_eX]

[DOI]

Xinlei Zhang

Golnoosh Kamali

Proceedings of the 2014 IEEE Conference on Control Applications, 2014

2013

Bounding the smallest robustly control invariant sets in networks with discrete disturbances and controls.

[BibT_eX]

[DOI]

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

On subspace decompositions of finite horizon DP problems with switched linear dynamics.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Completeness and other properties of input-output based finite approximations.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

On exploiting algebraic structure in control of finite state machines.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual Allerton Conference on Communication, 2013

2012

A Control-Oriented Notion of Finite State Approximation.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

On the smallest robustly control invariant sets in finite alphabet logistics networks.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Network Games, 2012

On subspace decompositions of finite horizon dynamic programming problems.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Constructing ρ/γ approximations for systems with No exogenous inputs.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

An iterative algorithmic implementation of input-output finite state approximations.

[BibT_eX]

[DOI]

Fereshteh Aalamifar

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

On decompositions of finite horizon DP Problems with linear dynamics.

[BibT_eX]

[DOI]

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

Constructing ρ/μ approximations from input/output snapshots for systems over finite alphabets.

[BibT_eX]

[DOI]

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

2011

Finite Approximations of Switched Homogeneous Systems for Controller Synthesis.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2011

Robust Finite Alphabet Control of Dynamic Networks

[BibT_eX]

[DOI]

CoRR, 2011

A Control-Oriented Notion of Finite State Approximation for Systems Over Finite Alphabets

[BibT_eX]

[DOI]

CoRR, 2011

Robust control of networks under discrete disturbances and controls.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on NETwork Games, COntrol and OPtimization, 2011

On finite memory approximations constructed from input/output snapshots.

[BibT_eX]

[DOI]

Luis A. Duffaut Espinosa

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

Control of production-distribution systems under discrete disturbances and control actions.

[BibT_eX]

[DOI]

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

2009

On the graph of trees.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Control Applications, 2009

2008

A Framework for Robust Stability of Systems Over Finite Alphabets.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2008

2007

Finite State Controllers for Stabilizing Switched Systems with Binary Sensors.

[BibT_eX]

[DOI]

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

Solving commutative relaxations of word problems.

[BibT_eX]

[DOI]

Pablo A. Parrilo

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

2006

Input/output stability of systems over finite alphabets.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

2005

Stability of deterministic finite state machines.

[BibT_eX]

[DOI]

Alexandre Megretskr

Proceedings of the American Control Conference, 2005

2004

Finite automata approximations with error bounds for systems with quantized actuation and measurement: a case study.

[BibT_eX]

[DOI]

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

2002

On the nature and stability of differential-algebraic systems.

[BibT_eX]

[DOI]

H. Harry Asada

Proceedings of the American Control Conference, 2002

Decentralized hierarchical control of multiple time scale systems.

[BibT_eX]

[DOI]

H. Harry Asada

Proceedings of the American Control Conference, 2002

2001

A sliding observer for differential-algebraic (DAE) systems.

[BibT_eX]

[DOI]