40 citations · 77 across the 6 of their papers we have counts for
7 papers
Output Observability of Systems Over Finite Alphabets with Linear Internal Dynamics
Donglei Fan, Danielle C. Tarraf
We consider a class of systems over finite alphabets with linear internal dynamics, finite-valued control inputs and finitely quantized outputs. We motivate the need for a new noti…
Finite Uniform Bisimulations for Linear Systems with Finite Input Alphabets
Donglei Fan, Danielle C. Tarraf
We consider a class of systems over finite alphabets, namely discrete-time systems with linear dynamics and a finite input alphabet. We formulate a notion of finite uniform bisimul…
Algebraic Decompositions of DP Problems with Linear Dynamics
Manolis C. Tsakiris, Danielle C. Tarraf
Inspired by rational canonical forms, we introduce and analyze two decompositions of dynamic programming (DP) problems for systems with linear dynamics. Specifically, we consider b…
An Input-Output Construction of Finite State Approximations for Control Design
Danielle C. Tarraf
We consider discrete-time plants that interact with their controllers via fixed discrete alphabets. For this class of systems, and in the absence of exogenous inputs, we propose a…
Finite Alphabet Control of Logistic Networks with Discrete Uncertainty
Danielle C. Tarraf, Dario Bauso
We consider logistic networks in which the control and disturbance inputs take values in finite sets. We derive a necessary and sufficient condition for the existence of robustly c…
A Control-Oriented Notion of Finite State Approximation
Danielle C. Tarraf
We consider the problem of approximating discrete-time plants with finite-valued sensors and actu- ators by deterministic finite memory systems for the purpose of certified-by-desi…