Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions

ZB 2002:Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/3-540-45648-1_25 ◽

2002 ◽

pp. 477-496 ◽

Author(s):

Françoise Bellegarde ◽

Samir Chouali ◽

Jacques Julliand

Keyword(s):

Dynamic Constraints ◽

Download Full-text

Linear Discrete-Event Systems: An Architecture and Simulator

10.23919/acc.1990.4790691 ◽

1990 ◽

Author(s):

Martin E. Kaliski ◽

Sylvia Ritz

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Output Feedback Control for a Class of Nondeterministic Discrete Event Systems

10.23919/acc.1990.4790690 ◽

1990 ◽

Author(s):

Jing-Yue Lin ◽

Dan Ionescu

Keyword(s):

Feedback Control ◽

Output Feedback ◽

Discrete Event Systems ◽

Discrete Event ◽

Output Feedback Control ◽

Download Full-text

Displacement-based optimization for truss structures subjected to static and dynamic constraints

AIAA Journal ◽

10.2514/3.15008 ◽

2002 ◽

Vol 40 ◽

pp. 154-161

Author(s):

S. Missoum ◽

Z. Gurdal

Keyword(s):

Truss Structures ◽

Dynamic Constraints ◽

Displacement Based

Download Full-text

Fault-tolerant supervisory control of discrete-event systems

10.31274/etd-180810-2755 ◽

2009 ◽

Author(s):

Qin Wen

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Fault Tolerant ◽

Discrete Event ◽

Download Full-text

Specification of Intelligent Controllers for Discrete Event Systems in a Temporal Logic Framework

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)49868-5 ◽

1992 ◽

Vol 25 (20) ◽

pp. 237-242

Author(s):

Dan Ionescu ◽

Jing-Yue Lin ◽

Hyung Soo Hwang

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Intelligent Controllers

Download Full-text

Strong co-observability conditions for decentralized supervisory control of discrete event systems

Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) ◽

10.1109/cdc.2001.980821 ◽

2003 ◽

Author(s):

S. Takai ◽

T. Ushio

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

On Optimal Supervisor Design for Discrete-Event Systems Modeled With Petri Nets via Constraint Simplification

IEEE Transactions on Systems Man and Cybernetics Systems ◽

10.1109/tsmc.2021.3069201 ◽

2021 ◽

pp. 1-15

Author(s):

YuFeng Chen ◽

YuTing Li ◽

ZhiWu Li ◽

NaiQi Wu

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Supervisor Design

Download Full-text

Fuzzy Infinite-step Opacity Measure of Discrete Event Systems and Its Applications

IEEE Transactions on Fuzzy Systems ◽

10.1109/tfuzz.2020.3044359 ◽

2020 ◽

pp. 1-1

Author(s):

Weilin Deng ◽

Daowen Qiu ◽

Jingkai Yang

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

An O(n2) Algorithm for Supervisor Reduction/Localization of Discrete-Event Systems

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2021.04.021 ◽

2020 ◽

Vol 53 (4) ◽

pp. 211-216

Author(s):

Lihua Wu ◽

Kai Cai ◽

Renyuan Zhang ◽

Yingying Liu

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Supervisor Reduction

Download Full-text

A Generalized Diagnosability Condition for Diagnosis of Discrete Event Systems Subject to Sensor Failures

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2021.04.054 ◽

2020 ◽

Vol 53 (4) ◽

pp. 344-349

Author(s):

Shigemasa Takai

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Sensor Failures ◽

Download Full-text