Communicating Processes with Data for Supervisory Coordination
Eindhoven University of Technology（埃因霍温理工大学）
本文提出一种带数据的进程理论，通过区分观察与监督的信息流并利用数据紧凑表达协调需求，支持基于模型的系统工程框架用于监督协调，并以Oce打印机维护协调案例验证。
2012-09-07 cs.SY eess.SY
Distributed Nonblocking Supervisory Control of Timed Discrete-Event Systems with Communication Delays and Losses
本文针对定时离散事件系统，提出一种考虑通信延迟与丢失的分布式非阻塞监督控制框架，通过通信自动机建模交互，给出网络可控性、联合可观测性及语言闭包等充要条件，并以智能制造为例验证。
2023-09-04 cs.SY eess.SY
Secure Recovery Procedure for Manufacturing Systems using Synchronizing Automata and Supervisory Control Theory
制造系统可能会受到外部攻击和故障，因此在这些情况发生后处理系统的恢复非常重要。本文讨论了当控制结构（称为监督者）从物理对象中分离出来时，利用监督控制理论（SCT）将制造系统建模为离散事件系统（DES）的恢复问题。这种去同步化可以看作是设备和管理者处于不对应的状态。如果有一个字，即同步字，不管它们中的每一个的状态如何，都使系统和管理程序回到已知状态，则可以实现系统的恢复。同步自动机的概念被用来这样做。在本文中，我们展示了在什么条件下，一组同步植物和规格导致同步监督控制理论获得。这个问题被扩展到处理多个主管，建议在可能的情况下进行本地恢复。我们还提出了一个简单的方法来建模的问题，由机器和缓冲区，作为同步自动机，这样它总是可以恢复控制（监督）和工厂之间的同步。
2020-08-29 cs.SY eess.SY
Optimal Non-blocking Decentralized Supervisory Control Using G-Control Consistency
Department of Electrical Eng., Abbaspour School of Engineering, Shahid Beheshti University（沙希德贝赫什蒂大学阿巴斯普尔工程学院电气工程系）
本文提出基于G控制一致性的方法，通过替换传统语言属性，实现最优非阻塞去中心化监督控制的合成，简化了计算复杂性。
2017-03-03 cs.SY eess.SY
Complexity of Verifying Nonblockingness in Modular Supervisory Control
TU Dresden（德累斯顿工业大学）；Institute of Theoretical Computer Science（理论计算机科学研究所）；cfaed（计算与工程数据科学中心）
本文研究模块化监督控制中非阻塞性验证的复杂度问题，结合复杂度理论结果，证明了非阻塞性相关的新结论。
2017-03-15 cs.FL cs.SY eess.SY
Supervisory Control of Multi-Agent Discrete-Event Systems with Partial Observation
本文研究了具有部分观测的多智能体离散事件系统。代理可以被分成几组，其中每个代理具有相似的（同构的）状态转换结构，因此可以重新标记到相同的模板中。在此基础上，针对部分观测的情况，设计了一个状态大小和计算代价与Agent数目无关的可扩展监督器。部分观测下的可伸缩监督程序不需要重新计算，无论有多少代理添加到系统或从系统中删除。我们通过提出模板级别上可扩展的最少限制性监督程序的安全性和最大许可性的充分条件，将我们早期的结果推广到部分观察。一个例子来说明所提出的可扩展的监督合成。
2021-03-19 cs.SY eess.SY
Data-driven Supervisory Control under Attacks via Spectral Learning
本文提出了一种基于谱学习的数据驱动监督控制方法，通过构建攻击者的有限状态转换器模型来中和未知广谱攻击。
2025-12-14 cs.SY eess.SY
Identification of Minimally Restrictive Assembly Sequences using Supervisory Control Theory
本研究提出基于监督控制理论的方法，通过综合可控、非阻塞且最小限制的监督器，系统生成满足优先级和工艺约束的所有可行装配序列，平衡制造灵活性与约束执行，为后续优化和异常管理奠定基础。
2025-03-07 cs.SY eess.SY
Supervisory Control Synthesis of Timed Automata Using Forcible Events
时间自动机（TA）中考虑了实值时钟，使其成为离散事件系统的一个实用建模框架。然而，无限大的状态空间给TA的控制带来了挑战。为了利用传统的监督控制理论综合TA的监督器，现有的方法将TA抽象为有限自动机（FA）。对于许多应用，实时值的抽象导致FA的状态空间爆炸。本文提出了一种直接适用于TA的监督控制综合算法。被控对象是一个具有一组不可控事件和一组强制事件的TA。必要时，强制性事件可以阻止时间的流逝。该合成算法的工作原理是通过迭代加强守卫的边缘标记的可控事件和位置的不变量，其中的时间的进展，可以抢占强制事件。综合监督，这也是一个TA，保证是可控的，最大限度地允许，并在一个非阻塞和安全的监督工厂的结果。
2021-02-18 cs.SY eess.SY
Control Affine Hybrid Power Plant Subsystem Modeling for Supervisory Control Design
本文提出一种面向监督控制的混合电厂控制仿射建模框架，并基于非线性控制与控制屏障函数设计风电与电池控制律，实现安全稳定运行与指令跟踪。
2025-11-06 cs.SY eess.SY
Opacity Enforcing Supervisory Control using Non-deterministic Supervisors
在本文中，我们研究了离散事件系统的背景下，通过监督控制的不透明性的执行。一个系统被称为不透明的，如果入侵者，这是作为一个被动的观察者建模，永远不能推断出自信的系统是在一个秘密的状态。设计目标是合成一个监督者，使闭环系统是不透明的，即使控制策略是公开的。在本文中，我们提出了一种新的方法来执行不透明性使用非确定性监督。非确定性监督器是一种决策机制，它在每个时刻提供一组控制决策，并从决策集中随机选择一个特定的控制决策来实际控制工厂。与标准的确定性控制机制相比，这种非确定性控制机制可以增强受控系统的似然可否认性，因为在线控制决策是随机实现的，并且不能从控制策略中隐式地推断。我们提供了一个健全的和完整的算法合成一个非确定性的不透明执行监督。此外，我们表明，非确定性的监督员是严格比确定性的监督员更强大的意义上说，可能存在一个非确定性的不透明执行监督员，即使确定性的监督员不能执行不透明。
2021-11-22 cs.SY eess.SY
Multimodal Nonblocking Supervisory Control Synthesis
Eindhoven University of Technology（埃因霍温理工大学）；Vrije Universiteit Amsterdam（阿姆斯特丹自由大学）
研究针对含故障行为等复杂系统模型，引入模态和多模态非阻塞特性，给出合成算法构建监督器，并通过实例说明新特性，与已有特性比较并给出蕴含条件。
2026-07-07 cs.SY eess.SY
Synthesis of Sensor Deception Attacks at the Supervisory Layer of Cyber-Physical Systems
我们研究的安全性的网络物理系统（CPS）的监控层的上下文中。具体来说，我们提出了一个通用的CPS攻击者模型的离散事件系统的框架和调查的问题，合成的攻击策略为一个给定的反馈控制系统。我们的模型捕获了一类欺骗攻击，攻击者有能力劫持传感器读数的子集并误导管理员，其目标是将系统诱导到不期望的状态。我们利用一个类似于游戏的离散过渡结构，称为插入删除攻击结构（IDA），以捕捉监督者和环境（包括系统和攻击者）之间的交互。我们展示了如何使用入侵检测系统来合成三种不同类型的成功隐形攻击，即，避免被管理程序检测到并对系统造成损害的攻击。
2020-08-04 cs.SY eess.SY
Localization of DES Supervisory Control with Event Reduction
ShahidBeheshti University（沙希德贝赫什蒂大学）
本文提出一种在离散事件系统中实现监督器定位的方法，确保每个局部控制器相对于简化监督器都能实现事件减少，从而降低通信流量并促进工业系统的实施。
2017-10-27 cs.SY eess.SY
Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control Systems
研究了离散事件系统（DES）监督控制中针对隐私的传感器欺骗攻击者的合成问题。我们考虑一个DES工厂由一个主管，这是受到传感器欺骗攻击。具体来说，我们考虑一个主动攻击者，可以篡改监督程序收到的观察结果，例如，入侵了传感器和监控器之间的通讯通道监督控制系统的保密要求是保持初始状态不透明性，即，它不想透露它是在一个秘密国家发起的。另一方面，攻击者的目的是欺骗监督者，通过篡改其观察结果，从而由于不正确的控制动作而违反初始状态不透明度。在这项工作中，我们调查从攻击者的角度来看，提出了一种有效的方法合成传感器攻击策略威胁到系统的隐私。为此，我们提出了所有的攻击结构（AAS），记录状态估计的主管和攻击者。该结构用作合成传感器攻击策略的基础。我们还讨论了如何利用初始状态隐私要求的结构属性来简化合成复杂度。一个运行的学术例子来说明综合过程。
2022-03-31 cs.SY eess.SY
Opacity Enforcing Supervisory Control with a Priori Unknown Supervisors
Shanghai Jiao Tong University（上海交通大学）；Key Laboratory of System Control and Information Processing, the Ministry of Education of China（教育部系统控制与信息处理重点实验室）；Xidian University（西安电子科技大学）；University of Cagliari（卡利亚里大学）
本文研究了通过监督控制在离散事件系统中强制 opacity 的问题，提出了一种新的中间信息设置，即事先未知监督器设置，并设计了无约束的合成算法。
2026-04-05 cs.SY eess.SY
On Coparanormality in Distributed Supervisory Control of Discrete-Event Systems
Abbaspour School of Engineering, Shahid Beheshti University（沙希德贝赫什蒂大学阿巴斯普尔工程学院）
本文提出基于Coparanormal性属性的分解方法，利用整体监督器的相对可观测性属性，证明了在适当自然投影存在下，每个监督器均可Coparanormal，并推广了监督器本地化过程以寻找任何可控事件集的局部控制器。
2017-12-09 cs.SY eess.SY
Failsafe Mechanism Design of Multicopters Based on Supervisory Control Theory
Department of Electrical and Computer Engineering, University of Toronto（多伦多大学电气与计算机工程系）
本文基于监督控制理论，设计了多旋翼的故障安全机制，通过建模用户需求和合成监督器，解决了多旋翼在飞行过程中的安全问题。
2017-04-27 cs.SY eess.SY
On Scalable Supervisory Control of Multi-Agent Discrete-Event Systems
School of Electro-Mechanical Engineering, Xidian University（西安电子科技大学机电工程学院）；Department of Electrical & Information Engineering, Osaka City University（大阪城市大学电气与信息工程系）；Institute of Systems Engineering, Macau University of Science and Technology（澳门科技大学系统工程研究所）
本文研究了多智能体离散事件系统，其中智能体可分为若干组，每组内的智能体具有相似或相同的状态转移结构。通过使用重标号映射为每组生成
2018-12-31 cs.SY eess.SY
Supervisory Control of Hybrid Power Plants Using Online Feedback Optimization: Designs and Validations with a Hybrid Co-Simulation Engine
本文提出一种无需详细模型的在线反馈优化监控方法，协调风、光与电池储能电站跟踪电网功率需求，并通过 Hercules 联合仿真引擎验证其在天气不确定场景下的有效性。
2025-10-18 cs.SY eess.SY
Quantitatively Nonblocking Supervisory Control of Discrete-Event Systems
针对离散事件系统的非阻塞监督控制需求，本文提出两种定量非阻塞性质与对应控制问题，通过语言可完备性刻画可解性，证明极大可完备子语言的存在唯一性并给出计算最大允许控制解的算法。
2023-12-20 cs.SY eess.SY
Supervisory Control of Discrete Event Systems for Small Language Under Cyber Attacks
本文研究网络攻击下离散事件系统的小语言监控问题，提出CA-S-可控性与CA-S-可观测性的充要条件，并推导了不满足条件时最小超语言的存在性以设计合规监控器。
2025-08-04 cs.SY eess.SY
A Topological Approach for Computing Supremal Sublanguages for Some Language Equations in Supervisory Control Theory
在本文中，我们将提出一个拓扑方法来计算一些上元子语言，经常指定的语言方程，这产生于监督控制理论的研究。其基本思想是将语言方程的解确定为某些（半）拓扑的开集。然后，上元子语言自然对应于上元开子集，即，内部这提供了一个基本的和统一的方法来计算各种上元子语言中遇到的监督控制理论，是密切相关的近似理论，称为粗糙集理论，在人工智能。
2021-11-27 cs.FL cs.SY eess.SY
Model Predictive Supervisory Control for Hierarchical and Distributed UAS Traffic Management
Universidade Federal de Minas Gerais（米纳斯吉拉斯联邦大学）
本研究提出分层模型预测监督控制（MPSC）框架，结合滚动时域最优控制与监督控制理论保障安全等特性，开发城市UTM模型，实现时变需求下取送任务的高效支持。
2026-08-20 cs.MA cs.SY eess.SY
Safe Supervisory Control of Soft Robot Actuators
Boston University（波士顿大学）；Carnegie Mellon University（卡内基梅隆大学）
尽管软体机器人与环境的交互比传统机器人更安全，但软体机构和致动器仍有很大的损坏或退化潜力，特别是在未建模接触期间。介绍了一种在软体机器人控制过程中实现软体执行器安全操作的反馈策略。为此，监督控制器监视致动器状态并动态地使控制输入饱和以避免可能导致物理损坏的条件。我们证明了，在一定的条件下，监督控制器是稳定的和可验证的安全。然后，我们展示了完全板载操作的监督控制器使用软热驱动的机器人肢体嵌入式形状记忆合金（SMA）致动器和传感。与主管一起进行的测试验证了其理论特性，并显示了机器人肢体在自由空间中的姿态稳定性。最后，实验表明，我们的方法可以防止过热接触（包括环境约束和人体接触）或不可行的运动时，命令。这种监督控制器，以及它的能力，以执行完全板载传感，有可能使软体机器人执行器足够可靠的实际使用。
2022-08-02 cs.RO cs.SY eess.SY
A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems under Energy Constraints
针对能量约束下离散事件系统，提出博弈论方法，通过转换模型并分解为可达性博弈，求解最小初始能量并综合最优监督器，确保能量不耗尽。
2024-02-10 cs.SY eess.SY
Supervisory Control of Probabilistic Discrete Event Systems under Partial Observation
School of Data and Computer Science, Sun Yat-sen University（中山大学数据与计算机科学学院）
研究在概率监督控制器和部分观测假设下概率离散事件系统(PDESs)的监督控制，提出概率可控性和可观测性的概念，并设计多项式验证算法，同时引入并计算了最优控制问题的解。
2018-05-17 cs.AI cs.SY eess.SY
Bounded-Time Nonblocking Supervisory Control of Timed Discrete-Event Systems
本文将定量非阻塞性扩展至时间离散事件系统，提出有界时间非阻塞性概念，要求任务在有限滴答时间内完成，并构建有界时间非阻塞监控控制问题（BTNSCP），给出其可解性条件及最大宽容解的计算方法。
2024-07-30 cs.SY eess.SY
Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game
本文提出了一种新的算法来解决被建模为$ω$ -正则自动机的非终止过程的监督控制问题。这个问题的解决方案是由Thistle在1995年获得的，它使用了自动机的复杂操作。我们展示了一个新的解决方案，通过减少义务游戏，这反过来，可以减少到$ω$ -定期反应合成的问题。因此，我们的减少结果在一个符号算法的基础上操纵状态集使用的工具反应合成。
2021-08-26 cs.LO cs.SY eess.SY
Supervisory Control Theory with Event Forcing
针对传统Ramadge-Wonham监督控制理论交互机制单一的问题，本文引入可强制事件以抢占不可控事件，定义可强制可控性概念，证明最大允许非阻塞监督器的存在性并给出计算算法，通过案例验证了方法有效性。
2024-04-12 cs.FL cs.SY eess.SY
Supervisory Control of Fuzzy Discrete Event Systems for Simulation Equivalence
Sun Yat-sen University（中山大学）；Guangdong Industry Technical College（广东工贸职业技术学院）；Technical University of Lisbon（里斯本技术大学）
本文提出模糊离散事件系统在模糊仿真等价性下的监督控制理论，解决语言等价性表达力不足的问题，并通过实例验证方法和性质。
2016-10-08 cs.SY eess.SY
On Event Reduction in Localization of DES Supervisory Control
Department of Electrical Eng., Abbaspour School of Engineering, Shahid Beheshti University（谢赫·贝海什提大学阿巴斯普尔工程学院电气工程系）
本文研究了离散事件系统监督控制中的事件减少问题，证明了局部控制器中的事件数少于简化监督器中的事件数，从而减少通信流量。
2016-11-01 cs.SY eess.SY
A Reinforcement Learning Approach for Robust Supervisory Control of UAVs Under Disturbances
Vanderbilt University（范德堡大学）
本文提出一种与现有嵌入式控制交替运行的无人机监督强化学习控制架构，该方法在毫秒级响应环境干扰，并在未见过的风况下比经典级联控制取得显著性能提升。
2023-05-21 cs.LG cs.SY eess.SY
Supervisory Control for Dynamic Feature Configuration in Product Lines
本文提出一个用于动态特征配置产品线的监督控制器工程框架，通过特征模型和需求约束，应用监督控制器综合，并在CIF工具集及工业规模用例中验证了可行性。
2023-05-16 cs.FL cs.SY eess.SY
A Supervisory Volt/VAR Control Scheme for Coordinating Voltage Regulators with Smart Inverters on a Distribution System
本文重点介绍了智能逆变器的有效使用电压/无功控制（VVC）的配电系统。新的智能逆变器提供无功功率支持能力，但为了有效使用，它们需要与现有的Volt/Var方案协调。提出了一种新的VVC方案，以促进这种协调。建议的计划分解成两个层次的问题。第一级使用负载抽头变换器（LTC）和电压调节器（VR），并与智能逆变器协调控制，以调整电路上的电压电平，从而将电路上的电压保持在所需范围内。第二个级别确定智能逆变器所需的无功功率支持，以最大限度地减少电路中的总功率损耗。监督控制的结果被发送到具有其本地控制器的设备。为了避免频繁调度，智能逆变器通过根据需要改变其Volt/Var特性进行监督。这允许智能逆变器接近其最佳控制运行，同时满足配电系统的有限通信要求。使用IEEE 34总线系统的案例研究表明，这种监督控制方案相比，传统的电压/无功计划的有效性。
2022-09-21 cs.SY eess.SY
Synthesis of Supervisors Robust Against Sensor Deception Attacks
我们考虑反馈控制系统，传感器读数可能会受到恶意攻击者意图对系统造成损害。我们研究这个问题的监督层的控制系统，使用离散事件系统技术。我们假设攻击者可以在系统传感器的输出到达监督控制器之前对其进行编辑。在这种情况下，我们制定的问题，合成一个监督员，是强大的对传感器读数的类编辑攻击，并提出了解决这个问题的方法。这种方法融合了不完美信息自动机上的游戏技术和部分观测离散事件系统的监督控制理论的结果。给出了所研究问题的充分必要条件。
2020-12-23 cs.SY eess.SY
Toward Human-in-the-Loop Supervisory Control for Cyber-Physical Networks
University of Nebraska-Lincoln（内布拉斯加大学林肯分校）
本文提出将人类决策模型纳入控制回路的新方法，通过数学神经科学方法构建了考虑人类决策质量的监督任务模型，重点研究了自适应增益理论和策略选择问题，并提出了整合内部和外部参数的决策方法。
2018-05-07 cs.SY eess.SY q-bio.NC
Hierarchical Supervisory Control under Partial Observation: Normality
部分观测下的离散事件系统的递阶监督控制中，保持被控对象与其抽象对象之间的规范可观测性的条件是必不可少的。观察一致性和局部观察一致性被确定为这样的条件。为了保持正态性，只需要观察一致性。虽然观测一致性保持了正常规范的水平之间的正常性，对于不正常的规范，观测一致性不足以保证在低水平和高水平上计算的最高正常子语言一致。我们定义了修正的观测一致性，在此一致性下，不同层次的极大正规子语言是一致的。我们表明，验证（修改后的）观察一致性是PSPACE-硬有限自动机和不可判定的表现力略高于有限自动机的模型。（修正）观测一致性的判定是一个开放性问题。因此，我们进一步讨论了两个更强的条件，很容易验证。最后，我们说明了一个例子的铁路控制器和一个案例研究的一部分的MRI扫描仪的条件。
2023-02-24 cs.SY eess.SY
A Supervisory Control Approach to Dynamic Cyber-Security
University of Michigan, Ann Arbor, MI（密歇根大学安娜堡分校）
本文提出动态网络安全问题的分析方法，从防御者角度建模为具有不完全信息的监督控制问题，通过动态规划确定最优防御策略，并分析参数变化对策略的影响。
2014-09-10 cs.CR cs.SY eess.SY
Supervisory model predictive control for PV battery and heat pump system with phase change slurry thermal storage
我们提出的设计，实施和实验验证的监督预测控制方法的电加热系统具有相变浆料作为热存储和传递介质。控制器优化用作热生成和能量分配部件的设定点的能量流。优化同时处理热和电气子系统，并能够在不同的目标之间切换。我们表明，控制可以在低成本的嵌入式硬件上实现，并验证它与实验测试台，包括安装完整的加热系统，包括所有液压和所有电气组件。实验结果表明，两者的可行性，热泵供热系统与相变浆料，和最优控制方法。主要控制目标，即：热舒适性和太阳能的最大自我消耗，可以满足。此外，该系统及其控制器提供了负载转移潜力。
2020-03-27 cs.SY eess.SY
Timed Supervisory Control for Operational Planning and Scheduling under Multiple Job Deadlines
School of Electrical and Electronic Engineering, Nanyang Technological University（南洋理工大学电气与电子工程学院）
本文在时间加权自动机框架下，研究多重截止期限下的作业规划与调度问题，通过计算最大可控作业满意子语言确定作业截止期限是否可满足，并在子语言非空时计算最小总作业早到量，或在子语言为空时确定需放松的最小截止期限集。
2016-07-14 cs.SY eess.SY
Supervisory Control for Behavior Composition
The University of Melbourne（墨尔本大学）；RMIT University（皇家墨尔本理工大学）
将AI中的行为组合合成任务与离散事件系统领域的监督控制理论联系起来，通过协调可用行为实现目标模块，利用离散事件系统的理论基础和工具。
2016-04-29 cs.AI cs.SY eess.SY
Scalable Supervisory HVAC Control for Linear Objectives
Purdue University（普渡大学）
研究针对线性依赖热负荷的目标开发几乎无需调试的HVAC控制器，最多需两个热参数，模拟中性能对参数误差鲁棒，无需调整，能保持舒适度并实现一定比例性能提升，避免传统方法负担，获取先进控制大部分价值。
2026-09-21 cs.SY eess.SY
Resilient Supervisory Control of Autonomous Intersections in the Presence of Sensor Attacks
本文研究了在传感器攻击存在下自主交叉口的监督控制问题，提出了一种安全、非死锁且最大宽容的抗攻击控制系统，以应对干扰、无控车辆和传感器攻击。
2016-06-21 cs.CR cs.SY eess.SY
Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence
National University of Singapore（新加坡国立大学）
针对分散系统中分支行为无法被传统语言等价充分刻画的问题，本文提出基于自动机的分散控制框架，分别推导了三种架构下存在分散双模拟监督者的充要条件，并将监督控制从语言等价扩展到双模拟等价。
2011-12-16 cs.SY eess.SY
Integrated real-time supervisory management for off-normal-event handling and feedback control of tokamak plasmas
对于长脉冲托卡马克，控制策略的主要挑战之一是同时达到多个控制目标，并鲁棒地处理实时（RT）的意外事件（非正常事件- ONEs）与有限的一组致动器。我们已经在我们以前的工作中开发了一个通用架构的等离子体控制系统（PCS），包括一个主管和执行器管理器来处理这些问题。我们在本文中提出了最新的发展，实时决策的主管之间切换不同的控制方案（正常，备份，关机，中断缓解等）。在放电期间，基于非正常事件状态。我们首先标准化的评价ONE，从而大大简化了管理决策逻辑，以及方便修改和扩展的ONE状态在未来。整个PCS已在TCV托卡马克上实现，并应用于密度限制的抗扰动实验，证明了新RT集成策略的优良性能。
2020-10-30 cs.SY eess.SY
Bi-Fuzzy Discrete Event Systems and Their Supervisory Control Theory
Sun Yat-sen University（中山大学）；Guangdong Industry Technical College（广东工贸职业技术学院）
本文提出双模糊离散事件系统模型，结合经典DES理论与T2模糊集理论，解决高不确定性系统的监督控制问题，提出双模糊可控性定理及算法，并通过实例验证其有效性。
2016-10-08 cs.SY eess.SY
Relative Coobservability in Decentralized Supervisory Control of Discrete-Event Systems
Osaka City University（大阪市立大学）；Northwestern Polytechnical University（西北工业大学）；University of Toronto（多伦多大学）
本文研究了在部分观测下离散事件系统分布式监督控制中的相对共可观察性概念，提出了一种代数性质良好的更强条件，并给出了计算给定语言的上界子语言的算法。
2016-04-13 cs.SY eess.SY math.OC
Supervisory control synthesis for multilevel DES with local buses
Eindhoven University of Technology（埃因霍温理工大学）
提出一种多级离散事件系统架构，通过在系统层次各层检测总线结构并构建树形分解，显著提升监督控制综合性能。
2026-05-22 cs.SY eess.SY
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications
提出了一种离散事件系统的在线监督控制方案，其中控制规范由一段线性时序逻辑描述。在DES的产品自动机和接受者的规格，我们定义了一个排名功能，返回所需的最小数量的步骤，以达到一个接受状态从每个国家。此外，我们引入了一个许可功能，表明随时间变化的许可水平。在在线控制方案的每个步骤中，管理程序都参考许可函数和排序函数，以保证控制规范，同时处理其许可和接受规范之间的权衡。所提出的方案证明了在一个移动机器人的监视问题。
2020-03-26 cs.FL cs.SY eess.SY
Time- and Behavior-Preserving Execution of Determinate Supervisory Control
针对activity框架中监督控制器需手工实现的问题，提出可保持行为顺序与时序界限的执行架构和引擎，并在原型生产系统上完成验证。
2023-12-08 cs.SY eess.SY
Supervisory Output Prediction for Bilinear Systems by Reinforcement Learning
Software Competence Center Hagenberg GmbH（哈根贝格软件能力中心有限公司）
本文提出一种针对双线性系统的监督输出预测方法，利用强化学习在运行时自动选择最佳预测模型，并通过住宅建筑温度预测仿真验证了其收敛性。
2016-11-07 cs.SY eess.SY
Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach
University of Florida（佛罗里达大学）；Duke University（杜克大学）
本文提出了一种基于有限状态转换器（FST）的新框架，用于在存在攻击的情况下设计CPS的监督器，通过捕捉常规重写攻击类型，如插入、删除、事件替换和有限内存重放攻击，提供多项新的定理和算法以设计抗攻击的监督器，并开发了一个Python开源工具进行案例研究。
2023-06-29 cs.FL cs.SY eess.SY
Set Theory-Based Safety Supervisory Control for Wind Turbines to Ensure Adequate Frequency Response
Min H. Kao Department of Electrical Engineering and Computer Science, The University of Tennessee, Knoxville（田纳西大学诺克斯维尔分校明H.高电气与计算机工程系）
本文提出基于集合论的安全监督控制方法，用于风力涡轮机确保频率响应，通过优化公式计算最大安全区域，并采用分布式通信架构和调度循环提升系统鲁棒性。
2018-08-28 cs.SY eess.SY
