Design of divergence-free protocol converters using supervisory control techniques

Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems

Volumn 2, Issue , 2000, Pages 705-708

  Hallal, Hesham ^a   Negulescu, Radu ^a   Petrenko, Alexandre ^b  

^a MCGILL UNIVERSITY   (Canada)

^b Cent de Recherche Informatique de Montreal   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS CIRCUITS; COMMUNICATION TIME; DIVERGENCE FREE; HETEROGENEOUS COMPUTER NETWORKS; PROTOCOL CONVERTERS; SUPERVISORY CONTROL; TYPICAL APPLICATION;

TELECOMMUNICATION SYSTEMS;

DESIGN;

EID: 0006916599     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICECS.2000.912975     Document Type: Conference Paper

References (11)

1. J. Drissi and G. Bochmann. Submodule Construction for Systems of I/O Automata. Technical Report no. 1133, Department dTnformatique et de Recherche Operationelle, University of Montreal, 1999.
2. R-D. Chen, J-M. Jou and Y-H. Shiau. "An Efficient Method for the Decomposition and Resynthesis of Speed-Independence Circuits". In proc. International Conference on Electronics, Circuits, and Systems, Cyprus, 1999, pp.339-342.
3. H. Hallal, R Negulescu, and A. Petrenko. Supervisory Control with Divergence Freedom in Two Safety Models. Internal Report CRIM-00-01-02 Centre de Recherche Informatique de Montreal. Montreal, Canada.
4. A. Kondratyev, J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev. "Technology Mapping for speed-independent circuits: Decomposition and Resynthesis". In proc. Symposium on Advanced Research in Asynchronous Circuits and Systems, 1997, pp. 240-253.
5. R. Kumar, S. Nelvagal, and S. Marcus. "Protocol Conversion Using Supervisory Control Techniques". In Proc. of the 1996 IEEE International Symposium on Computer-Aided Control System Design, 1996, pp. 32-37
6. N. Lynch and M. Turtle. An Introduction to Input/Output Automata. Laboratory for Computer Science. Massachusetts Institute of Technology, November 1988.
7. R. Negulescu. "Process Spaces". In Proc. of the IIth International Conference on Concurrency Theory (CONCUR 2000). Pennsylvania, USA. Aug, 2000.
8. R. Negulescu. Process Spaces and Formal Verification of Asynchronous Circuits. Ph.D. Thesis, Department of Computer Science, University of Waterloo, August 1998.
9. A. Overkamp. "Supervisory Control Using Failure Semantics and Partial Specifications". IEEE transactions on Automatic Control, Vol.42, No.4, April 1997.
10. A. Petrenko and N. Yevtushenko. "Solving Asynchronous Equations". In Proc. of FORTE- PSTV'98. Paris, France.
11. P. J. Ramadge and W. M. Wonham. "The Control of Discrete Event Systems". In Proc. IEEE, vol.77, pp. 81-98, Jan. 1989.