2008 9th International Workshop on Discrete Event Systems最新文献_第6页

On control and cyber-physical systems: Challenges and opportunities for discrete event and hybrid systems 控制与网络物理系统:离散事件与混合系统的挑战与机遇

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605913

P. Antsaklis

引用次数: 3

Safety and transition-structure preserving abstraction of hybrid systems with inputs/outputs 具有输入/输出的混合系统的安全和过渡结构保持抽象

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605946

R. Kumar, C. Zhou, S. Jiang

{"title":"Safety and transition-structure preserving abstraction of hybrid systems with inputs/outputs","authors":"R. Kumar, C. Zhou, S. Jiang","doi":"10.1109/WODES.2008.4605946","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605946","url":null,"abstract":"We present a method for obtaining a discrete abstraction of a hybrid system modeled as an input-output hybrid automaton (I/O-HA), generalizing our earlier work on linear hybrid automaton with no inputs or outputs. The discrete abstraction we present preserves the discrete behaviors (the set of state trajectories sampled at instances immediately after the discrete transitions) of an I/O-HA, and thus it is adequate for safety verification. (The violation of a safety property can be formulated as the reachability of certain discrete states.) We represent the discrete behaviors of an I/O-HA as the discrete behaviors of an input-output transition system (I/O-TS), which possesses no continuous dynamics, i.e., it is a purely discrete system. A feature of our discrete abstraction of an I/O-HA into an I/O-TS is that it preserves the transition structure of the discrete dynamics, making it unique compared to the prior works on discrete abstraction of a hybrid system (which either did not preserve the discrete behaviors or the transition structure of the discrete dynamics). The discrete abstraction can be used for further analysis (such as verification, testing, control, diagnosis, monitoring, etc.) involving safety properties. The abstraction is illustrated through an adaptive cruise control example.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125493120","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}

引用次数: 6

The Use of language projection for compositional verification of discrete event systems 语言投影在离散事件系统组合验证中的应用

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605966

S. Ware, R. Malik

引用次数: 17

Asynchronous implementation of synchronous discrete event control 异步实现同步离散事件控制

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605942

S. Xu, R. Kumar

{"title":"Asynchronous implementation of synchronous discrete event control","authors":"S. Xu, R. Kumar","doi":"10.1109/WODES.2008.4605942","DOIUrl":"https://doi.org/10.1109/WODES.2008.4605942","url":null,"abstract":"Discrete event control is typically designed under the synchronous hypothesis that sensing and actuation incur zero delays, i.e., there exists zero delay between an event execution at a plant site and its observation at a controller site, and also between a control computation at a controller site and its enforcement at a plant site. An actual implementation, however, is asynchronous, introducing delays in sensing as well as actuation. A natural question that arises is what additional property must a given specification satisfy so that it remains implementable in spite of the delays introduced by an underlying asynchronous implementation platform. We formulate the problem of asynchronous implementation of synchronous control when both the sensing and actuation delays are bounded. We introduce the notion of bounded-delay asynchronous composition to characterize the behavior of a controlled plant when the sensing and actuation delays are bounded. We introduce the notion of bounded-delay implementability and show that this together with the existence conditions of the synchronous setting (namely controllability, closure, and nonemptiness) serves as a necessary and sufficient condition for the existence of a controller so that the controlled behavior under the asynchronous implementation remains the same as that under the synchronous implementation. We present an algorithm for checking the property of bounded-delay implementability, whose complexity is linear (resp., quadratic) in the size of the plant (resp., specification), and exponential in the delay bounds. We also examine the lattice structure of a set of bounded-delay implementable languages, and show its non-closure under union whereas closure under union over an increasing chain and intersection.","PeriodicalId":105225,"journal":{"name":"2008 9th International Workshop on Discrete Event Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133071243","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

The application of supervisory control to deadlock avoidance in concurrent software 监控在并发软件死锁避免中的应用

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605961

Yin Wang, T. Kelly, M. Kudlur, S. Mahlke, S. Lafortune

引用次数: 23

Verification of initial-state opacity in security applications of DES DES安全应用中初始状态不透明性的验证

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605967

A. Saboori, C. Hadjicostis

引用次数: 78

Beyond Boolean SAT: Satisfiability modulo theories 超越布尔SAT:可满足模理论

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605924

A. Cimatti

引用次数: 23

Covering-based supervisory control of partially observed discrete event systems for state avoidance 部分观测离散事件系统状态回避的基于覆盖的监督控制

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605914

R. Hill, D. Tilbury, S. Lafortune

引用次数: 7

On-line identification of Petri Nets with unobservable transitions 不可观测过渡Petri网的在线辨识

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605988

M. Dotoli, M. Fanti, A. M. Mangini, W. Ukovich

引用次数: 5

Online diagnosis of discrete event systems based on Petri nets 基于Petri网的离散事件系统在线诊断

2008 9th International Workshop on Discrete Event Systems Pub Date : 2008-05-28 DOI: 10.1109/WODES.2008.4605986

F. Basile, P. Chiacchio, G. De Tommasi

引用次数: 7