Synthesis of controllers for symmetric systems-Reference-Cited by-同舟云学术

Synthesis of controllers for symmetric systems

Published:2010-11 Issue:11 Volume:83 Page:2354-2367
ISSN:0020-7179
Container-title:International Journal of Control
language:en
Short-container-title:International Journal of Control

Author:

Abid Chiheb Ameur,Zouari Belhassen

Publisher

Informa UK Limited

Subject

Computer Science Applications,Control and Systems Engineering

Link

http://www.tandfonline.com/doi/pdf/10.1080/00207179.2010.520415

Reference21 articles.

1. Synthesis of controllers using symbolic reachability graphs

2. Achoura, Z, Ghaffari, A, Rezga, N and Xieab, X. 2005. Petri Net Controller Synthesis using Theory of Regions. Intelligent Production Machines and Systems: First I* PROMS Virtual Conference. 4–15 July2005. pp.201Elsevier Science Ltd.

3. Badouel, E, Bernardinello, L and Darondeau, P. 1995. Polynomial Algorithms for the Synthesis of Bounded Nets. TAPSOFT'95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE. 22–26 May1995. pp.364–378. Aarhus, Denmark: Springer.

4. A quotient graph for asymmetric distributed systems

5. On Well-Formed Coloured Nets and Their Symbolic Reachability Graph

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

1. PARAMETERIZED REACHABILITY GRAPH FOR SOFTWARE MODEL CHECKING BASED ON PDNET;COMPUT INFORM;2023

2. An Active Controller based on Parikh Vectors;IFAC Proceedings Volumes;2014

3. Maximally permissive controller synthesis for time Petri nets;International Journal of Control;2013-03

4. Robust and nonlinear control literature survey (No. 23);International Journal of Robust and Nonlinear Control;2011-02-02