no code implementations • 26 Jan 2023 • Dongyao Bi, Lijun Zhang, Kuize Zhang
With the help of equitable partitions of an STG, we study the structural properties of the smallest invariant dual subspaces containing a number of Boolean functions.
no code implementations • 3 Nov 2021 • Kuize Zhang
Discrete-event systems usually consist of discrete states and transitions between them caused by spontaneous occurrences of labelled (aka partially-observed) events.
no code implementations • 30 Nov 2020 • Mahmoud Khaled, Kuize Zhang, Majid Zamani
Symbolic control is an abstraction-based controller synthesis approach that provides, algorithmically, certifiable-by-construction controllers for cyber-physical systems.