Author:
Kumar Ratnesh,Garg Vijay K.
Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. Continuously generated fixed points;Bracho;Theoret. Comput. Sci.,1989
2. Formulas for calculating supremal controllable and normal sublanguages;Brandt;Systems Control Lett.,1990
3. Supervisory control of discrete event processes with partial observation;Cieslak;IEEE Trans. Automatic Control,1988
4. Introduction to Lattices and Order;Davey,1990
5. Predicate Calculus and Program Semantics;Dijkstra,1990
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Topological Approach for Computing Supremal Sublanguages;2020 16th International Conference on Control, Automation, Robotics and Vision (ICARCV);2020-12-13
2. Bibliography;Discrete Event Systems in Dioid Algebra and Conventional Algebra;2013-02-20
3. From Extremal Trajectories to Token Deaths in P-time Event Graphs;IEEE Transactions on Automatic Control;2011-02
4. Efficient robust supervisors for discrete event systems;Science in China Series F: Information Sciences;2009-07
5. Modular Implementation of Robust Supervisory Controllers for Discrete Event Systems;IEEE Transactions on Automatic Control;2008-07