Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.
Like what you’re reading?
Already a member?
Related Articles
- Extraction Distractions: A Comparison of Social Network Model Construction Methods
European Intelligence and Security Informatics Conference - Supervisory teleoperation control using computer graphics
Proceedings. 1991 IEEE International Conference on Robotics and Automation - BDD-based supervisory control on extended finite automata
2011 IEEE International Conference on Automation Science and Engineering - Supervisory Control of PDESs Based on Bisimulation Relations
2012 Third Global Congress on Intelligent Systems - Discrete Decentralized Supervisory Control for Underwater Glider
Intelligent Systems Design and Applications, International Conference on - Abstractions for nonblocking supervisory control of Extended Finite Automata
2012 IEEE International Conference on Automation Science and Engineering (CASE 2012) - Adaptive supervisory control of interconnected discrete event systems
Proceedings of the 2000 IEEE International Conference on Control Applications - Rapid Construction of a Big Data Analysis System with Creative Comparison Methods
2017 14th International Symposium on Pervasive Systems, Algorithms and Networks & 2017 11th International Conference on Frontier of Computer Science and Technology & 2017 Third International Symposium of Creative Computing (ISPAN-FCST-ISCC) - Constructing Submodule Specifications and Network Protocols
IEEE Transactions on Software Engineering - Supervisory Control of Software Systems
IEEE Transactions on Computers