Qualitative modelling of linear dynamical systems with quantized state measurements
Automatica (Journal of IFAC)
Hybrid Systems I
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Hybrid Systems II
Hybrid Systems IV
Hybrid System Modeling and Autonomous Control Systems
Hybrid Systems
Deterministic discrete-event representations of linear continuous-variable systems
Automatica (Journal of IFAC)
State Observation and Diagnosis of Discrete-Event SystemsDescribed by Stochastic Automata
Discrete Event Dynamic Systems
Deterministic discrete-event representations of linear continuous-variable systems
Automatica (Journal of IFAC)
A discrete-event model of asynchronous quantised systems
Automatica (Journal of IFAC)
Hi-index | 22.15 |
This paper is concerned with the representation of stable autonomous discrete-time systems with quantised state measurements. It is assumed that the state space R^n is partitioned into disjoint regions Q"x which are enumerated. Only the number z(k) of the region Q"x to which the state x(k) belongs can be measured. As a consequence, the initial state x(0)@?R^n is unknown and assumed to be uniformly distributed over the set Q"x(z(0)) associated with the measurement z(0). The paper shows that the measurement sequence z(k)(k=0,1,...) is, in general, not a Markov chain. Hence, the sequence of probability distributions cannot be represented exactly by a stochastic automaton whose state set equals the set of measurement symbols.