第一届中国自动化学会TCCT逻辑系统控制专题大会
The First TCCT Logical Systems Control Symposium of Chinese Association of Automation
时间：2019年4月26日-28日
地点：浙江省金华伟达雷迪森广场酒店
4.26晚上
|
|
|
19:00-20:00 | 学组会议（学组成员） | 三楼怡澜厅 |
20:00-20:40 | 会前研讨（全体参会人员） | 三楼怡澜厅 |
4.27上午
08:30-09:10 开幕式（合影）
主持：刘洋 浙江师范大学
承办方致辞：钟依均浙江师范大学副校长
吴向齐数学与计算机科学学院党委书记
专家致辞：桂卫华中南大学（中国工程院院士）
洪奕光中国科学院（TCCT主任）
程代展中国科学院（矩阵半张量积方法创始人）
专题报告 | 曹进德 东南大学（主持） |
|
地点 | 三楼怡澜厅 |
|
09:10-09:50 | 有色冶炼过程节能优化控制技术 | 桂卫华中南大学 |
09:50-10:30 | Constructing New Semi-tensor Products | 程代展中国科学院 |
10:30-10:50 | 茶歇 |
|
|
|
|
专题报告 |
俞立浙江工业大学（主持） |
|
地点 | 三楼怡澜厅 |
|
10:50-11:20 | Distributed Computation for Linear Matrix Equations from the Optimization Viewpoint | 洪奕光 中国科学院 |
11:20-11:50 | On Quasi-Boolean Algebra | 赵建立 聊城大学 |
4.27下午
研究生论坛 分组一 时间 地点 专家 |
卢剑权东南大学（主持） 14:30-16:50 2楼A02 程代展，梁金玲，朱建栋，李志强，刘振斌 |
|
14:30-14:50 | A Game Theoretic Approach for Service Chain Composition in Network Function Virtualization Networks | 乐舒婷 大连理工大学 |
14:50-15:10 | Resolution of Fuzzy Relational Inequalities with Boolean Semi-tensor Product Composition | 王淑玲 山东师范大学 |
15:10-15:30 | Matrix Semi-tensor Product Approach to Observability Analysis of Serial Combined Automata | 周英芮 南开大学 |
15:30-15:50 | 茶歇 |
|
15:50-16:10 | Stability in Distribution of Probabilistic Boolean Networks with Respect to Function Perturbation | 李晓东 山东师范大学 |
16:10-16:30 | Bisimulations of Boolean Control Networks with Impulsive Effects and Its Application in Controllability | 张启亮 山东大学 |
16:30-16:50 | Minimal Observability of Boolean Networks | 刘华超 浙江师范大学 |
研究生论坛 分组二 时间 地点 专家 |
李海涛山东师范大学（主持） 14:30-16:50 2楼A08 洪奕光，赵建立，吴玉虎，李睿，孟敏 |
|
14:30-14:50 | Feedback Capability of Logical Control Networks | 于永渊 山东大学 |
14:50-15:10 | Boolean Network-based Approach to Construct Filter Generators | 李博文 东南大学 |
15:10-15:30 | Observability of Boolean Control Networks with Stochastic Disturbances | 童丽云 东南大学 |
15:30-15:50 | 茶歇 |
|
15:50-16:10 | Semi-tensor Product Approach to Stabilization of Probabilistic Finite Automata | 张志鹏 南开大学 |
16:10-16:30 | State Feedback Set Stabilization of Logical Control Networks with State-dependent Delay | 郑亚婷 山东大学 |
16:30-16:50 | Graphic Condition for the Disturbance Decoupling of Boolean Networks | 李一峰 南京师范大学 |
4.28上午 |
|
|
专题报告 | Daniel W.C. Ho 香港城市大学（主持） |
|
08:10-08:40 | 基于矩阵半张量积方法的异步时序机系统控制 | 陈增强 南开大学 |
08:40-09:10 | Local Synchronization of Interconnected Boolean Networks With Stochastic Disturbances | 梁金玲 东南大学 |
09:10-09:40 | Bisimulations of Boolean Control Networks | 李睿 大连理工大学 |
09:40-10:00 | 茶歇 |
|
专题报告 |
冯俊娥山东大学（主持） |
|
10:00-10:30 | Simplification of Finite State Machines | 闫永义 河南科技大学 |
10:30-11:00 | Policy Iteration Approach to Average Optimal Control Problems for BCNs | 吴玉虎 大连理工大学 |
11:00-11:30 | Stability, Stabilization, Controllability of Markovian Jump Boolean Networks | 孟敏 南洋理工大学 |
