Title | ||
---|---|---|
Finite Automata Approximations with Error Bounds for Systems with Quantized Actuation and Measurement: A Case Study |
Abstract | ||
---|---|---|
We consider stable, discrete time, first order LTI systems with finite input alphabets and quantized outputs. We propose an algorithm for generating deterministic finite state machine approximations of these systems with computable bounds on approximation error, and we describe the conditions under which the bounds are valid. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1109/CDC.2004.1430245 | Conference on Decision and Control |
Keywords | DocType | Volume |
approximation theory,deterministic automata,discrete time systems,finite state machines,linear systems,LTI systems,approximation error,deterministic finite state machine approximations,discrete time system,error bounds,finite automata approximations,finite input alphabets,measurement system,quantized actuation system,quantized outputs,stable system | Conference | 2 |
ISSN | Citations | PageRank |
0743-1546 | 8 | 0.77 |
References | Authors | |
4 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Danielle C. Tarraf | 1 | 177 | 19.65 |
Alexandre Megretski | 2 | 625 | 112.25 |
Munther A. Dahleh | 3 | 1195 | 254.45 |