2014/08/31 by Babak Tavassoli, Tavassoli, Babak
Computer Science · Engineering · #Advanced Control Systems Optimization #Control Systems and Identification #FOS: Electrical engineering #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.1409.0206
openalex publication_date 2014/08/31 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01
The problem of finding a finite state symbolic model which is bisimilar to a hybrid dynamical system (HDS) and has the minimum number of states is considered. The considered class of HDS allows for discrete-valued inputs that only affect the jumps (events) of the HDS. Representation of the HDS in the form of a transition system is revisited in comparison with prior works. An algorithm is proposed for solving the problem which gives the bisimulation with the minimum number of states if it already exists and also a parameter of the algorithm is properly tuned. There is no need for stability assumptions and no time discretization is applied. The results are applied to an example