当前位置: 首页  科学研究  学术交流  学术会议

数学学科学术会议(第一届中国自动化学会TCCT逻辑系统控制专题大会)

发布者:付慧娟   发布时间:2019-04-22  浏览次数:317

第一届中国自动化学会TCCT逻辑系统控制专题大会

The First TCCT Logical Systems Control Symposium of Chinese Association of Automation


时间:2019426-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

2A02

程代展,梁金玲,朱建栋,李志强,刘振斌


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

2A08

洪奕光,赵建立,吴玉虎,李睿,孟


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

敏 南洋理工大学