Research group

Cyber-Physical Systems Lab

There are many challenges in the development of embedded and cyber-physical systems that originate from different design practices used in mechanical and software engineering. There are huge opportunities for research in this area as embedded systems are becoming more and more important across so many industries.

The Cyber-Physical Systems Lab research interests include process-oriented programming, software psychology and domain-specific languages for control software (cyber-physical systems, PLCs, embedded systems, IIoT, distributed control systems, etc.), safety-critical systems, requirement engineering, formal semantics, dynamic and static verification (model checking, deductive verification, ontological design).

Group teaching experiences

Graduate courses

  • Methodology of Research & Development
  • Open Systems
  • Analysis of Algorithms
  • Model Checking
  • Formal Methods in Software Engineering

Undergraduate courses

  • Engineering of Modern Information Systems
  • Systems Engineering and Programming
  • Process-Oriented Programming
  • Hybrid systems with ARM-architecture
  • Programmable Microcontrollers
  • Embedded Systems
  • Basics of Object-Oriented Programming
  • Image processing
  • OS components designing
  • Modern Software Testing and Verification Techniques
  • Functional Languages of Distributive Programming

Selected projects

  • Dynamic Verification of Control Algorithms in Cyber-Physical Systems Using Software Simulators
  • IndustrialC: a Process-Oriented Programming Language for MCU-based Automation
  • Control System for the Large Solar Vacuum Telescope
  • Using Process-Oriented Programming in LabVIEW
  • Virtual Labs for Teaching of Control Programming
  • Information Complexity: Psychological Basis for Reasoning on Pragmatics
  • Software for Physical Simulation of Large-Size Silicon Ingots Growing
  • Reflex Language: a Process-Oriented Programming Language for PLC-based Automation
  • Hyper-Automaton: a Conceptual Framework for Process-Oriented Programming
  • Automated Control System for a Silicon Single-Crystal Growth Furnace
  • VME-Based Multiprocessor Control System for CNC Machine
  • Deductive Verification of Control-Loop Based Software for Reactive Systems
  • Model Checking for Concurrent Systems
  • Formal Semantics of Programs and Program Systems
  • Ontological Design for Conceptually Complex Systems

Group Members