Learn More
This paper presents a design approach intended for the modeling and synthesis of discrete-event modules of hybrid controllers by combining a model of computation and a soft computing synthesis approach. The model of computation is based on coloured Petri nets (CPNs) and the soft computing method uses fuzzy logic. The design approach converts Petri net(More)
This paper presents a preliminary study of an approach that models programmable logic controllers (PLCs) for their effective deployment in industrial control processes. A working model is developed for automatic allocation of PLCs and also a formal verification of Ladder Diagram representations of control processes using the Symbolic Model Verifier (SMV)(More)
— This paper considers the use of in-building electrical wiring in as the communication channel for the deployment of telephony system for homes and small businesses in Jamaica. The paper presents the design considerations and implementation of the analog electronic interface to the power line infrastructure and presents results from actual powerline(More)
The actual idea of a telephony structure shows a Private Automatic Branch Exchange (PABX) directly controlling a whole communication system. Ringing and caller identification signals, voltage setting for the phone sets among other important parameters all are transmitted using twisted pair cables that have to be installed and distributed along the building.(More)
  • 1