The state partitioning problem of
Institute of Automation and Computer Control
1 DESCRIPTION OF THE PROBLEM
Consider a continuous system whose state can only be accessed through a quantizer. The quantizer is defined by a partition of the state space. The system generates an event if the system trajectory crosses the boundary between adjacent partitions.
The problem concerns the prediction of the event sequence generated by the system for a given initial event. As the initial event does not define the initial system state unambiguously but only restricts the initial state to a partition boundary, when predicting the system behavior ...