Research on Theory

1.

Discrete Event Dynamic Systems Theory

2.

Estimation of Parameters States for Dynamic Systems

3.

Fault Detection Diagnosis and Tolerance of Dynamic Processes

4.

Behavioral Modelling Testing and Verification of AMS VLSI Circuits.

5.

Integrated Vehicle Health Management for Automotive Rail and Aerospace applications.

Research on Application

1.

Technology Development

Other Areas of Current Interest and Ongoing Activities

1.

Congestion Management in Deregulated Power Systems

Design of congestion management algorithms for Pool and Multi-lateral Power Markets.

2.

Verification of Power System Protection Schemes

Design of semiautomated verification strategies for power system protection schemes using Temporal Logic.