首页 > 最新文献

Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.最新文献

英文 中文
Model checking embedded system designs 嵌入式系统设计模型校核
Pub Date : 2002-10-02 DOI: 10.1109/WODES.2002.1167682
E. Brinksma, A. Mader
We survey the basic principles behind the application of model checking to controller verification and synthesis. A promising development is the area of guided model checking, in which the state space search strategy of the model checking algorithm can be influenced to visit more interesting sets of states first. In particular, we discuss how model checking can be combined with heuristic cost functions to guide search strategies. Finally, we list a number of current research developments, especially in the area of reachability analysis for optimal control and related issues.
我们概述了将模型检验应用于控制器验证和综合的基本原理。一个有前途的发展是引导模型检查领域,在该领域中,模型检查算法的状态空间搜索策略可以被影响到首先访问更感兴趣的状态集。特别是,我们讨论了如何将模型检查与启发式成本函数相结合来指导搜索策略。最后,我们列出了一些当前的研究进展,特别是在最优控制和相关问题的可达性分析领域。
{"title":"Model checking embedded system designs","authors":"E. Brinksma, A. Mader","doi":"10.1109/WODES.2002.1167682","DOIUrl":"https://doi.org/10.1109/WODES.2002.1167682","url":null,"abstract":"We survey the basic principles behind the application of model checking to controller verification and synthesis. A promising development is the area of guided model checking, in which the state space search strategy of the model checking algorithm can be influenced to visit more interesting sets of states first. In particular, we discuss how model checking can be combined with heuristic cost functions to guide search strategies. Finally, we list a number of current research developments, especially in the area of reachability analysis for optimal control and related issues.","PeriodicalId":435263,"journal":{"name":"Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123357804","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Effective computation of an L/sub m/(G)-closed, controllable, and observable sublanguage arising in supervisory control 监视控制中出现的L/sub m/(G)-封闭、可控、可观察的子语言的有效计算
Pub Date : 2002-10-02 DOI: 10.1109/WODES.2002.1167666
S. Takai, T. Ushio
In this paper we study nonblocking, supervisory control of discrete event systems under partial observation. A nonblocking supervisor can be synthesized for the supremal L/sub m/(G)-closed, controllable, and normal sublanguage of a given (non-closed) marked language. However, such a supervisor may be too restrictive as a solution to the supervisory control problem. We identify a subclass of observable sublanguages of a given language, which has the supremal element larger than the supremal normal sublanguage. By using the supremal element, we present an iterative algorithm for computing an L/sub m/(G)-closed, controllable and observable sublanguage of a given marked language, which is larger than the supremal L/sub m/(G)-closed, controllable and normal sublanguage.
研究了部分观测条件下离散事件系统的无阻塞监督控制问题。对于给定(非封闭)标记语言的最高L/sub m/(G)-封闭、可控和正常子语言,可以合成一个非阻塞监督器。然而,作为监督控制问题的解决方案,这样的监督者可能过于严格。我们确定了一个给定语言的可观察子语言的子类,它的最高元素大于最高正常子语言。利用上元,给出了一种计算给定标记语言的L/sub m/(G)闭、可控、可观察子语言的迭代算法,该子语言比上元L/sub m/(G)闭、可控、正常子语言大。
{"title":"Effective computation of an L/sub m/(G)-closed, controllable, and observable sublanguage arising in supervisory control","authors":"S. Takai, T. Ushio","doi":"10.1109/WODES.2002.1167666","DOIUrl":"https://doi.org/10.1109/WODES.2002.1167666","url":null,"abstract":"In this paper we study nonblocking, supervisory control of discrete event systems under partial observation. A nonblocking supervisor can be synthesized for the supremal L/sub m/(G)-closed, controllable, and normal sublanguage of a given (non-closed) marked language. However, such a supervisor may be too restrictive as a solution to the supervisory control problem. We identify a subclass of observable sublanguages of a given language, which has the supremal element larger than the supremal normal sublanguage. By using the supremal element, we present an iterative algorithm for computing an L/sub m/(G)-closed, controllable and observable sublanguage of a given marked language, which is larger than the supremal L/sub m/(G)-closed, controllable and normal sublanguage.","PeriodicalId":435263,"journal":{"name":"Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129589601","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A compositional semantics for UML state machines aimed at performance evaluation 针对性能评估的UML状态机的组合语义
Pub Date : 2002-10-02 DOI: 10.1109/WODES.2002.1167702
J. Merseguer, J. Campos, Simona Bernardi, S. Donatelli
Unified Modeling Language (UML) is gaining acceptance to describe the behaviour of systems. It has attracted the attention of researchers that are interested in deriving, automatically, performance evaluation models from system's descriptions. A required step to automatically produce a performance model (as any executable model) is that the semantics of the description language is formally defined. Among the UML diagrams, we concentrate on state machines (SMs) and we build a semantics for a significant subset of them in terms of generalized stochastic Petri nets (GSPNs). The paper shows how to derive an executable GSPN model from a description of a system, expressed as a set of SMs. The semantics is compositional since the executable GSPN model is obtained by composing, using standard Petri net operators, the GSPN models of the single SMs, and each GSPN model is obtained by composition of submodels for SM basic features.
统一建模语言(UML)被越来越多的人接受来描述系统的行为。它引起了对从系统描述中自动导出性能评估模型感兴趣的研究人员的注意。自动生成性能模型(与任何可执行模型一样)的必要步骤是正式定义描述语言的语义。在UML图中,我们专注于状态机(SMs),并根据广义随机Petri网(gspn)为其中的一个重要子集构建语义。本文展示了如何从系统的描述中推导出一个可执行的GSPN模型,该模型表示为一组SMs。使用标准Petri网算子对单个SMs的GSPN模型进行组合得到可执行的GSPN模型,而每个GSPN模型又通过对SM基本特征的子模型进行组合得到。
{"title":"A compositional semantics for UML state machines aimed at performance evaluation","authors":"J. Merseguer, J. Campos, Simona Bernardi, S. Donatelli","doi":"10.1109/WODES.2002.1167702","DOIUrl":"https://doi.org/10.1109/WODES.2002.1167702","url":null,"abstract":"Unified Modeling Language (UML) is gaining acceptance to describe the behaviour of systems. It has attracted the attention of researchers that are interested in deriving, automatically, performance evaluation models from system's descriptions. A required step to automatically produce a performance model (as any executable model) is that the semantics of the description language is formally defined. Among the UML diagrams, we concentrate on state machines (SMs) and we build a semantics for a significant subset of them in terms of generalized stochastic Petri nets (GSPNs). The paper shows how to derive an executable GSPN model from a description of a system, expressed as a set of SMs. The semantics is compositional since the executable GSPN model is obtained by composing, using standard Petri net operators, the GSPN models of the single SMs, and each GSPN model is obtained by composition of submodels for SM basic features.","PeriodicalId":435263,"journal":{"name":"Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126068723","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 90
About disturbance decoupling of timed event graphs in dioids 关于二元曲线中时间事件图的扰动解耦
Pub Date : 2002-10-02 DOI: 10.1109/WODES.2002.1167689
M. Lhommeau, L. Hardouin, Bertrand Cottenceau
This paper deals with control of timed event graphs (TEG) when a disturbance acts on transitions. We synthesize the greatest feedback controller which allows to match the disturbance action. Formally, this problem is very close of the classical problem of disturbance decoupling for linear systems.
本文研究了当扰动作用于跃迁时的时间事件图控制问题。我们合成了最大反馈控制器,使其能够匹配扰动作用。从形式上看,这个问题与经典的线性系统扰动解耦问题非常接近。
{"title":"About disturbance decoupling of timed event graphs in dioids","authors":"M. Lhommeau, L. Hardouin, Bertrand Cottenceau","doi":"10.1109/WODES.2002.1167689","DOIUrl":"https://doi.org/10.1109/WODES.2002.1167689","url":null,"abstract":"This paper deals with control of timed event graphs (TEG) when a disturbance acts on transitions. We synthesize the greatest feedback controller which allows to match the disturbance action. Formally, this problem is very close of the classical problem of disturbance decoupling for linear systems.","PeriodicalId":435263,"journal":{"name":"Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129142547","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Algebraic and geometric characterization of Petri net controllers using the theory of regions 利用区域理论对Petri网控制器进行代数和几何表征
Pub Date : 2002-10-02 DOI: 10.1109/WODES.2002.1167691
A. Ghaffari, N. Rezg, Xiaolan Xie
This paper presents a formal treatment of Petri net controller design problems. Two supervisory control problems of plant Petri net models, forbidden state and forbidden state-transition problems, are defined. The theory of regions is used to provide algebraic characterizations of pure and impure control places for both problems. Thanks to Farkas-Minkowski's lemma, the algebraic characterizations lead to nice geometric characterization for the existence of control places for the two supervisory problems.
本文给出了Petri网控制器设计问题的形式化处理方法。定义了植物Petri网模型的两个监督控制问题:禁止状态问题和禁止状态转移问题。利用区域理论给出了这两个问题的纯控制点和非纯控制点的代数表征。借助于法卡斯-闵可夫斯基引理,代数表征得到了两个监督问题控制点存在的良好几何表征。
{"title":"Algebraic and geometric characterization of Petri net controllers using the theory of regions","authors":"A. Ghaffari, N. Rezg, Xiaolan Xie","doi":"10.1109/WODES.2002.1167691","DOIUrl":"https://doi.org/10.1109/WODES.2002.1167691","url":null,"abstract":"This paper presents a formal treatment of Petri net controller design problems. Two supervisory control problems of plant Petri net models, forbidden state and forbidden state-transition problems, are defined. The theory of regions is used to provide algebraic characterizations of pure and impure control places for both problems. Thanks to Farkas-Minkowski's lemma, the algebraic characterizations lead to nice geometric characterization for the existence of control places for the two supervisory problems.","PeriodicalId":435263,"journal":{"name":"Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114779568","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
Firing instant approach to control time critical systems in multi-product processing 多产品加工中时间关键系统的即时控制方法
Pub Date : 2002-10-02 DOI: 10.1109/WODES.2002.1167675
P. Bonhomme, P. Aygalinc, S. Calvez
Time-critical systems are characterized by operation times between a minimum and a maximum value. Any transgression of these specifications acts against production quality. In this paper, we propose to use a firing instant approach to build temporal control when the systems process several kinds of parts. The formalism presented refers to lot switching when the cyclic scheduling is the same whatever the type of part. Under the same assumption, it can be applied to interlaced production leading to a steady state. The P-time Petri net is used as a modeling tool. The method is illustrated for an electroplating line with two types of products.
时间关键型系统的特点是操作时间在最小值和最大值之间。任何违反这些规范的行为都是对产品质量的损害。在本文中,我们提出了一种触发瞬间的方法来建立系统加工多种零件时的时间控制。所提出的形式是指在任何类型零件的循环调度都相同的情况下的批量切换。在相同的假设下,它可以应用于导致稳态的交错生产。使用p时间Petri网作为建模工具。以两种产品的电镀生产线为例说明了该方法。
{"title":"Firing instant approach to control time critical systems in multi-product processing","authors":"P. Bonhomme, P. Aygalinc, S. Calvez","doi":"10.1109/WODES.2002.1167675","DOIUrl":"https://doi.org/10.1109/WODES.2002.1167675","url":null,"abstract":"Time-critical systems are characterized by operation times between a minimum and a maximum value. Any transgression of these specifications acts against production quality. In this paper, we propose to use a firing instant approach to build temporal control when the systems process several kinds of parts. The formalism presented refers to lot switching when the cyclic scheduling is the same whatever the type of part. Under the same assumption, it can be applied to interlaced production leading to a steady state. The P-time Petri net is used as a modeling tool. The method is illustrated for an electroplating line with two types of products.","PeriodicalId":435263,"journal":{"name":"Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130572805","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers 离散事件系统的分散故障诊断
Pub Date : 2002-10-02 DOI: 10.1109/WODES.2002.1167685
R. Boel, J. van Schuppen
Reliable supervisory control of engineering systems requires failure diagnosis algorithms for discrete-event systems. For large, modularly designed plants, such as communication networks, robustness considerations and limitations on the communication between local sensors lead to decentralized implementations of failure diagnosis algorithms. A trade-off has to be made between the speed of diagnosis and the cost of communication and computation. An algorithm is proposed for decentralized failure diagnosis with asymmetric communication in which Diagnoser 2 also estimates the observer state of Diagnoser 1 and sends only that subset of failure states which is relevant for the other diagnoser when this is useful for Diagnoser 1's control task of failure detection and diagnosis. This algorithm can help in suggesting practically implementable heuristic algorithms.
工程系统的可靠监控需要离散事件系统的故障诊断算法。对于大型、模块化设计的工厂,如通信网络,鲁棒性考虑和局部传感器之间通信的限制导致故障诊断算法的分散实现。必须在诊断速度与通信和计算成本之间做出权衡。提出了一种基于非对称通信的分散故障诊断算法,该算法中,诊断者2也估计诊断者1的观测器状态,并仅发送与其他诊断者相关的故障状态子集,这对诊断者1的故障检测和诊断控制任务有用。该算法有助于提出实际可实现的启发式算法。
{"title":"Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers","authors":"R. Boel, J. van Schuppen","doi":"10.1109/WODES.2002.1167685","DOIUrl":"https://doi.org/10.1109/WODES.2002.1167685","url":null,"abstract":"Reliable supervisory control of engineering systems requires failure diagnosis algorithms for discrete-event systems. For large, modularly designed plants, such as communication networks, robustness considerations and limitations on the communication between local sensors lead to decentralized implementations of failure diagnosis algorithms. A trade-off has to be made between the speed of diagnosis and the cost of communication and computation. An algorithm is proposed for decentralized failure diagnosis with asymmetric communication in which Diagnoser 2 also estimates the observer state of Diagnoser 1 and sends only that subset of failure states which is relevant for the other diagnoser when this is useful for Diagnoser 1's control task of failure detection and diagnosis. This algorithm can help in suggesting practically implementable heuristic algorithms.","PeriodicalId":435263,"journal":{"name":"Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134534913","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 110
Optimization of manufacturing systems modelled by timed Petri nets 基于定时Petri网的制造系统优化
Pub Date : 2002-10-02 DOI: 10.1109/WODES.2002.1167712
A. D. Febbraro, D. Giglio, R. Minciardi, S. Sacone
Integer timed Petri nets (ITPN) are applied in this work to model automated manufacturing systems, where several products are obtained via sequences of operations executed by different machines. In such a model the system state is represented by the joint information consisting of the net marking and of the residual firing times of timed transitions. On this basis, the state equations representing the system dynamics can be written. With reference to this model, it is possible to build the system state diagram, where two main classes of states can be distinguished, named tangible and vanishing, after the terms introduced for GSPN. Then, a specific performance optimization problem is addressed for which the cost to be optimized can only be associated with the permanence of the system in tangible states.
整数时间Petri网(ITPN)在这项工作中应用于自动化制造系统的建模,其中通过不同机器执行的操作序列获得几种产品。在该模型中,系统状态由由网络标记和定时转换的剩余发射时间组成的联合信息表示。在此基础上,可以写出表示系统动力学的状态方程。参考此模型,可以构建系统状态图,在为GSPN引入术语之后,可以区分两类主要状态,分别为有形状态和消失状态。然后,解决一个特定的性能优化问题,其中要优化的成本只能与系统在有形状态下的持久性相关联。
{"title":"Optimization of manufacturing systems modelled by timed Petri nets","authors":"A. D. Febbraro, D. Giglio, R. Minciardi, S. Sacone","doi":"10.1109/WODES.2002.1167712","DOIUrl":"https://doi.org/10.1109/WODES.2002.1167712","url":null,"abstract":"Integer timed Petri nets (ITPN) are applied in this work to model automated manufacturing systems, where several products are obtained via sequences of operations executed by different machines. In such a model the system state is represented by the joint information consisting of the net marking and of the residual firing times of timed transitions. On this basis, the state equations representing the system dynamics can be written. With reference to this model, it is possible to build the system state diagram, where two main classes of states can be distinguished, named tangible and vanishing, after the terms introduced for GSPN. Then, a specific performance optimization problem is addressed for which the cost to be optimized can only be associated with the permanence of the system in tangible states.","PeriodicalId":435263,"journal":{"name":"Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128663941","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A deadlock avoidance strategy for AGV systems modelled by coloured Petri nets 基于彩色Petri网的AGV系统死锁避免策略
Pub Date : 2002-10-02 DOI: 10.1109/WODES.2002.1167670
M. P. Fanti
Automated Guided Vehicle Systems (AGVSs) are material handling devices representing an efficient and flexible alternative for material handling. The vehicles follow a guidepath under computer control that assigns route, tasks, velocity, etc. However, the design of AGVSs has to take into account some management problems such as collisions and deadlock. This paper presents a control strategy to avoid deadlock and collisions in zone controlled AGVSs. In particular, the control scheme manages the assignments of new paths and next zone acquisition. Moreover, we propose coloured timed Petri nets to model the AGVS structure and dynamics. The model allows us an easy implementation of the control strategy working on the basis of the knowledge of the system state.
自动导向车辆系统(AGVSs)是一种高效、灵活的物料搬运设备。车辆在计算机控制下沿着指定路线、任务、速度等的引导路径行驶。然而,AGVSs的设计必须考虑到碰撞和死锁等管理问题。提出了一种避免区域控制agvs死锁和碰撞的控制策略。特别是,该控制方案管理新路径的分配和下一个区域的获取。此外,我们提出了彩色定时Petri网来模拟AGVS的结构和动力学。该模型使我们能够轻松地实现基于系统状态知识的控制策略。
{"title":"A deadlock avoidance strategy for AGV systems modelled by coloured Petri nets","authors":"M. P. Fanti","doi":"10.1109/WODES.2002.1167670","DOIUrl":"https://doi.org/10.1109/WODES.2002.1167670","url":null,"abstract":"Automated Guided Vehicle Systems (AGVSs) are material handling devices representing an efficient and flexible alternative for material handling. The vehicles follow a guidepath under computer control that assigns route, tasks, velocity, etc. However, the design of AGVSs has to take into account some management problems such as collisions and deadlock. This paper presents a control strategy to avoid deadlock and collisions in zone controlled AGVSs. In particular, the control scheme manages the assignments of new paths and next zone acquisition. Moreover, we propose coloured timed Petri nets to model the AGVS structure and dynamics. The model allows us an easy implementation of the control strategy working on the basis of the knowledge of the system state.","PeriodicalId":435263,"journal":{"name":"Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129339786","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 26
Supervisory control of dense real-time discrete-event systems with partial observation 具有部分观测的密集实时离散事件系统的监督控制
Pub Date : 2002-10-02 DOI: 10.1109/WODES.2002.1167676
A. Khoumsi
In supervisory control theory, the basic task of the supervisor is to disable certain events of the plant so that the obtained behaviour lies within a given specification. We propose a method which extends this theory with the following two points. First, the plant and the specification contain temporal constraints and are described by a model called Timed Automata (TA). Second, the supervisor has only a partial observation of the behaviour of the plant. The problem that arises with the TA model is that the state space can be infinite. Recently, we proposed a method to finitely represent the state space which generates less states than the well-known region graph approach. Its principle consists of transforming a TA into a Finite State Automaton (FSA) using two special types of events: Set and Exp. Such a FSA is denoted se-FSA. In this article, we propose a method for the supervisory control of timed discrete event systems that are modelled by TA and partially observable. We use the above-mentioned transformation procedure for representing the plant and the specification by two se-FSAs. Then, we develop a procedure for generating the supervisor from the two se-FSAs that represent the plant and the specification. We also propose a supervisory control architecture.
在监督控制理论中,监督者的基本任务是使工厂的某些事件失效,使所获得的行为符合给定的规范。我们提出一种方法,用以下两点来扩展这一理论。首先,工厂和规范包含时间约束,并由称为定时自动机(TA)的模型描述。第二,管理者对工厂的行为只有部分的观察。TA模型出现的问题是状态空间可以是无限的。最近,我们提出了一种有限表示状态空间的方法,该方法产生的状态比已知的区域图方法少。它的原理是使用两种特殊类型的事件:Set和Exp将TA转换为有限状态自动机(FSA)。这样的FSA表示为se-FSA。在本文中,我们提出了一种时间离散事件系统的监督控制方法。我们用上述转换程序用两个se- fsa表示工厂和规格。然后,我们开发了一个程序,用于从代表工厂和规范的两个se- fsa中生成主管。我们还提出了一个监督控制架构。
{"title":"Supervisory control of dense real-time discrete-event systems with partial observation","authors":"A. Khoumsi","doi":"10.1109/WODES.2002.1167676","DOIUrl":"https://doi.org/10.1109/WODES.2002.1167676","url":null,"abstract":"In supervisory control theory, the basic task of the supervisor is to disable certain events of the plant so that the obtained behaviour lies within a given specification. We propose a method which extends this theory with the following two points. First, the plant and the specification contain temporal constraints and are described by a model called Timed Automata (TA). Second, the supervisor has only a partial observation of the behaviour of the plant. The problem that arises with the TA model is that the state space can be infinite. Recently, we proposed a method to finitely represent the state space which generates less states than the well-known region graph approach. Its principle consists of transforming a TA into a Finite State Automaton (FSA) using two special types of events: Set and Exp. Such a FSA is denoted se-FSA. In this article, we propose a method for the supervisory control of timed discrete event systems that are modelled by TA and partially observable. We use the above-mentioned transformation procedure for representing the plant and the specification by two se-FSAs. Then, we develop a procedure for generating the supervisor from the two se-FSAs that represent the plant and the specification. We also propose a supervisory control architecture.","PeriodicalId":435263,"journal":{"name":"Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121183549","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
期刊
Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1