EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS-Reference-Cited by-同舟云学术

EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS

Published:2002 Issue:1 Volume:35 Page:175-180
ISSN:1474-6670
Container-title:IFAC Proceedings Volumes
language:en
Short-container-title:IFAC Proceedings Volumes

Author:

Åkesson K.,Flordal H.,Fabian M.

Publisher

Elsevier BV

Subject

General Medicine

Reference14 articles.

1. B. Brandin, R. Malik, P. Dietrich (2000). Incremental system verification and synthesis of minimally restrictive behaviors. In: Proc. of the 2000 American Control Conference. Chicago, USA. pp. 4056-4061.

2. Symbolic manipulation with ordered binary decision diagrams;Bryant;ACM Computing Surveys 24,1992

3. Evaluating deadlock detection methods for concurrent software;Corbett;IEEE Transactions on Software Engineering,1996

4. Flordal, H. (2001). Modular controllability verification and synthesis of discrete event systems. Technical report. Department of Signals and Systems, Chalmers University of Technology.

5. On the complexity of supervisory control design in the RW framework;Gohari;IEEE Transactions on Systems, Man, and Cybernetics,2000

Cited by 28 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A survey on compositional algorithms for verification and synthesis in supervisory control;Discrete Event Dynamic Systems;2023-08-21

2. Optimal Supervisory Control of Opacity for Modular Systems;2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2022-12

3. MIDES: A Tool for Supervisor Synthesis via Active Learning;2021 IEEE 17th International Conference on Automation Science and Engineering (CASE);2021-08-23

4. Compositional coordinator synthesis of extended finite automata;Discrete Event Dynamic Systems;2021-01-07

5. Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction;Discrete Event Dynamic Systems;2020-03-21