Readings in qualitative reasoning about physical systems
Readings in qualitative reasoning about physical systems
Qualitative modelling of linear dynamical systems with quantized state measurements
Automatica (Journal of IFAC)
Qualitative modelling of dynamical systems motivation, methods, and prospective applications
Selected papers from the 2nd IMACS symposium on Mathematical modelling---2nd MATHMOD
Interface and Controller Design for Hybrid Control Systems
Hybrid Systems II
Brief Paper: On the Markov Property of Quantised State Measuirement Sequences
Automatica (Journal of IFAC)
A logical DES approach to the design of hybrid control systems
Mathematical and Computer Modelling: An International Journal
State Observation and Diagnosis of Discrete-Event SystemsDescribed by Stochastic Automata
Discrete Event Dynamic Systems
Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Process modelling for hybrid control
Systems Analysis Modelling Simulation
Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
On modelling and diagnosis of Hybrid Dynamical Systems
International Journal of Intelligent Systems Technologies and Applications
Fairness of Transitions in Diagnosability of Discrete Event Systems
Discrete Event Dynamic Systems
State-feedback stabilization of systems with input saturation and measurement quantization
ROCOM'06 Proceedings of the 6th WSEAS international conference on Robotics, control and manufacturing technology
Models of computation for reactive control of autonomous mobile robots
Expert Systems with Applications: An International Journal
Finite abstractions for hybrid systems with stable continuous dynamics
Discrete Event Dynamic Systems
Brief Paper: On the Markov Property of Quantised State Measuirement Sequences
Automatica (Journal of IFAC)
A discrete-event model of asynchronous quantised systems
Automatica (Journal of IFAC)
Hybrid feedback stabilization of systems with quantized signals
Automatica (Journal of IFAC)
| Hi-index | 22.15 |
The paper concerns linear continuous-variable systems whose state can be measured only through a quantiser. As for an observer the system together with the quantiser behaves like a discrete-event system, the problem of representing this system by some deterministic finite state machine is considered. The main difficulty of this representation problem occurs due to the nondeterminism introduced by the state quantisation. It is investigated under what conditions on the linear continuous-variable system and on the state quantisation the discrete-event behaviour is deterministic. The main results are sufficient conditions for this property.