Dependable Communication and Computation Systems – DCC
The research subject focuses on distributed automation systems, cyber-physical systems and Internet of Things, simulation of complex distributed systems, agent-based architectures and bio-inspired control in complex industrial infrastructures, formal semantics of distributed systems, wireless sensor networks, formal verification by model-checking and automatic test generation, software tools for visual development of automation systems and resource efficient algorithms and international standards in this domain, such as function block architecture IEC 61499, PLC languages IEC 61131-3, IEC 61850, IEC 62424, and many more.