Systems and methods are provided for modeling and simulating a communication network operating under at least one communication protocol which supports a Smart Grid electricity network. Communication performance data of the communication network are generated by a processor based on operating behavior of the Smart G...

A method and system for multi scale anatomical and functional modeling of coronary circulation is disclosed. A patient specific anatomical model of coronary arteries and the heart is generated from medical image data of a patient. A multi scale functional model of coronary circulation is generated based on the patie...

In a machine condition monitoring technique, a sensor reading is filtered using a switching Kalman filter. Kalman filters are created to describe separate modes of the signal, including a steady mode an a non-steady- mode. Foreach new observation of the signal, a new mode is estimated based on the previous mode ...

Systems and methods are described that provide multilevel inverters having a plurality of levels using a simplified topology. For single phase systems, embodiments provide a full-bridge topology using bidirectional switching interconnections

Formal methods are instituted to verify and validate the finite state machine (FSM) of PLC redundancy software. The method and system is implemented through each phase in the lifecycle of the redundancy software; that is the requirement phase design phase implementation phase and finally integration phase (including...

In a machine condition monitoring technique, related sensors are grouped together in clusters to improve the performance of state estimation models. To form the clusters, the entire set of sensors is first analyzed using a Gaussian process regression (GPR) to make a prediction of each sensor from the others in ...