A spectral property for concurrent systems and some probabilistic applications
- 2022-07-20 (Wed.), 14:00 PM
- Auditorium, B1F, Institute of Statistical Science；The tea reception will be held at 15:00.
- Lecture in Mandarin. Online live streaming through Webex will be available.
- Dr. Yi-Ting Chen
- Laboratoire d'Informatique Gaspard-Monge, Université Gustave Eiffel, Paris
Abstract
We aim at constructing a probabilistic framework on the executions of concurrent systems for the purpose of random generation. In our setting, the abstract concurrent systems are considered as monoid actions on a finite set of states, which encompass 1-bounded Petri nets. We introduce a notion of irreducible concurrent system and we prove the equivalence between irreducibility and a “spectral property”. This proof relies on the techniques of analytic combinatorics and resolves the difficulty that the Perron-Frobenius theorem is not directly applicable for concurrent systems. Finally, we apply the spectral property to the probabilistic theory of concurrent systems. The uniform measure of executions can be realized as a Markov chain of states-and-cliques on a state space. With the aid of spectral property, we are able to distinguish the main components which determine the characteristic root of the system.
Please click here for participating the talk online
Download
Back
