Abstract:
The goal of this paper is to present the design methodology for the modelling and synthesis of discrete event controllers for compact, fast and reliable embedded systems,...Show MoreMetadata
Abstract:
The goal of this paper is to present the design methodology for the modelling and synthesis of discrete event controllers for compact, fast and reliable embedded systems, using related Petri net theory, rule-based system theory (conditional mathematical logic), and hardware description languages (VHDL, Verilog). The well structured specification, which is represented in the human readable logic language, has a direct impact on the validation, formal verification and implementation of application specific logic controllers (ASLC) mapped into reconfigurable logic devices (FPGA). Reprogrammable logic controllers (RLC) may replace traditional PLCs in many industrial applications.
Published in: ISIE'2000. Proceedings of the 2000 IEEE International Symposium on Industrial Electronics (Cat. No.00TH8543)
Date of Conference: 04-08 December 2000
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-7803-6606-9