Research projects supervised by :
Please note that here only contain the
'Projects'
which were submitted to the
projects.ce.pdn.ac.lk
as
Final Year Research Projects
. The actual list of projects supervised by
may be longer than this.
Research Interests:
- Verification of Complex Reactive Systems
- Distributed Supervisory Control
- Integrated Manufacturing Systems
- Testing Automotive Systems
- Formal Verification & Validation
- Agile/Holonic/Flexible Manufacturing
- Shop Floor Control Systems
- Industrial/Process Automation: PLC and PLD based
- Fault Diagnosis
- Enterprise Modelling/Integration
