In this paper, we present a formal analysis of a Controller Area Network (CAN) controller using the Z speciication language. It is a step in the evaluation of functional and performance properties of CAN applications. We rst show how an external view of a CAN controller functionalities can be held in Z. Z is based on set theory and rst order logic and is very expressive: a unique notation allow...

Based on requirements of modern vehicle, invehicle Controller Area Network (CAN) architecture has been implemented. In order to reduce point to point wiring harness in vehicle automation, CAN is suggested as a means for data communication within the vehicle environment. The benefits of CAN bus based network over traditional point to point schemes will offer increased flexibility and expandabili...

Based on requirements of modern vehicle, invehicle Controller Area Network (CAN) architecture has been implemented. In order to reduce point to point wiring harness in vehicle automation, CAN is suggested as a means for data communication within the vehicle environment. The benefits of CAN bus based network over traditional point to point schemes will offer increased flexibility and expandabili...

this paper presents a new damping controller design based on fuzzy wavelet neural network (fwnn) to damp the multi-machine power system low frequency oscillations. the error between the desired system output and the output of control object is directly utilized to tune the network parameters. the orthogonal least square (ols) algorithm is used to purify the wavelets for each rule and determine ...

The Controller Area Network (CAN) is a serial bus communications protocol developed by Bosch in the early 1980s. It defines a standard for efficient and reliable communication between sensor, actuator, controller, and other nodes in real-time applications. CAN is the de facto standard in a large variety of networked embedded control systems. The early CAN development was mainly supported by the...

In this paper an Artificial Neural Network (ANN) based controller is presented for the Automatic Generation Control (AGC) of a five area interconnected power system with reheat turbines. The control scheme guarantees that steady state error of the area frequencies and inadvertent interchange of tielines are maintained in a given tolerance limit. ANN controller controls the inputs of each area i...

In this study, an artificial neural network (ANN) application of load frequency control (LFC) of a single area power system by using a neural network controller is presented. The study has been designed for a single area interconnected power system. The comparison between a conventional Proportional and Integral (PI) controller and the proposed artificial neural networks controller is showed th...

The smart city landscape is rife with opportunities for mobility and economic optimization, but also presents many security concerns spanning the range of components systems in ecosystem. One key enabler this ecosystem transportation transit, which foundationally built upon connected vehicles. Ensuring vehicular security, while necessary to guarantee passenger pedestrian safety, itself challeng...