Σχεδιασμός εποπτών ελεγκτών για συστήματα διακριτών συμβάντων (γενικοί, στατικοί, δυναμικοί επόπτες), επιθυμητές γλώσσες, έλεγχος Boolean δικτύων, δομοστοιχειωτός έλεγχος, γενικευμένες απαιτήσεις σχεδιασμού εποπτών, προσομοίωση και υλοποίηση εποπτών σε γλώσσα Ladder, ανάπτυξη λογισμικού υλοποίησης εποπτών σε συστήματα SCADA, ανάπτυξη λογισμικού υλοποίησης εποπτών με βάση το Industry 4.0 και το Internet of Things, εφαρμογές σε βιομηχανικά συστήματα, πρωτόκολλα επικοινωνιών και γραμμές παραγωγής.