Supervisory control of finite state machines-Reference-Cited by-同舟云学术

Supervisory control of finite state machines

Published:1995 Issue: Volume: Page:279-292
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Aziz A.,Balarin F.,Brayton R. K.,DiBenedetto M. D.,Saldanha A.,Sangiovanni-Vincentelli A. L.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60045-0_57.pdf

Reference18 articles.

1. Adnan Aziz and Robert K. Brayton. Synthesizing interacting finite state machines. Technical Report UCB/ERL M94/96, Electronics Research Laboratory, College of Engineering, University of California, Berkeley, December 1994.

2. S. Balemi, G. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. Franklin. Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control, 38(7):1040–1059, July 1993.

3. J. Richard Buchi and Lawrence H. Landweber. Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society, 138:295–311, April 1969.

4. J.R. Burch, D.L. Dill, E. Wolf, and G. DeMicheli. Modeling hierarcical combinational circuits. In Digest of Technical Papers of the 1993 IEEE International Conference on CAD, pages 612–617, November 1993.

5. M.D. DiBenedetto, A. Saldanha, and A. Sangiovanni-Vincentelli. Model matching for finite state machines. In Proceedings of the IEEE Conference on Decision and Control, December 1994.

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

1. Compositional Reasoning;Handbook of Model Checking;2018

2. Most General Property-Preserving Updates;Language and Automata Theory and Applications;2017

3. Software monitoring with controllable overhead;International Journal on Software Tools for Technology Transfer;2010-12-29

4. Component Verification with Automatically Generated Assumptions;Automated Software Engineering;2005-07

5. Solving asynchronous equations;IFIP Advances in Information and Communication Technology;1998