English

张奎泽

教授博士生导师硕士生导师

个人信息更多+

电子邮箱：
学历：硕博连读
学位：博士
职称：教授

Conferences and Talks

当前位置：中文主页 - Conferences and Talks

参会与学术报告

会议报告：

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 Spécification et Vé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。