会议报告：
- 2021 年，受邀在欧洲控制会议的会前专题研讨会 “布尔动态系统的建模与控制”中作题目为“特殊大规模布尔控制网络能观性的高效检验及其在布尔生物学系统中的应用” (Efficient Observability Verification for Special Large-Scale Boolean Control Networks with Applications to Boolean Biological Systems) 的报告。该研讨会由意大利桑尼奥大学的Prof. Carmen Del Vecchio、意大利帕多瓦大学的 Prof. Maria Elena Valcher 及其同事组织。见https://ecc21.euca-ecc.org/workshops/index.html#Workshop6。
学术报告：
| 20/09/2025 |
Verification of strong detectability of labeled real-time automata |
talk at the 4th International Colloquium on Discrete Event Dynamic Systems, Xidian University, Xi'an, China |
| 17/12/2024 |
Labeled weighted automata over monoids |
at Institute of Software, Chinese Academy of Sciences, Beijing, China |
| 16/12/2024 |
State-based opacity of labeled real-time automata |
at Peking University, Bejing, China |
| 04/12/2024 |
Observability of Boolean control networks and beyond |
at Xi’an Jiaotong University, Xi’an, China |
| 04/10/2024 |
Labeled weighted automata over monoids |
siminarial talk, at the University of Cagliari, Italy |
| 14/08/2024 |
Observability of Boolean control networks and beyond |
seminarial talk at 2024 Summer School, Research Center of Semi-Tensor Product of Matrices: Theory and Applications, Liaocheng, Shandong, China (online) https://m-stp.lcu. edu.cn/xzyd/xzzm/565246.htm |
21/05/2024
|
Labeled weighted automata over monoids |
at Tsinghua University, Beijing, China (online) |
| 27/07/2023 |
A new framework for discrete-event systems |
at the Logical Systems Control Symposium, the Technical Committee on Control Theory, the Chinese Association of Automation, Tiangong University, China |
09/07/2023
|
A new framework for discrete-event systems |
at Xidian University, Xi’an, China |
22/06/2022
|
A unified concurrent-composition method to state/event inference and concealment in discrete-event systems |
at Technical University of Berlin, Germany |
15/12/2020
|
On detectability of finite automata and labeled Petri nets |
at DISCO LAAS, CNRS, France (online) |
09/07/2020
|
Observability of large-scale Boolean control networks with applications to the T-cell receptor kinetics |
at Westlake University, Hangzhou, China |
12/06/2020
|
On detectability of finite automata and labeled Petri nets |
at Institut de Recherche en Informatique Fondamentale (IRIF), CNRS, Paris, France (online) |
18/12/2019
|
Towards large-scale Boolean control networks, networked discrete-event systems, and cyber-physical systems |
at Laboratoire Spécification et Vérification (LSV), CNRS, Paris, France |
| 16/07/2018 |
Invertibility of Boolean control networks with applications to some biological systems |
at Technical University of Berlin, Berlin, Germany |
参会：
多次参加IFAC World Congress, IEEE Conference on Decision and Control, American Conference Conference, Chinese Control Conference等会议，作报告，并担任session chairs。