Main results

Primary results of the CSL activity from 2000 to 2015

  • Theory and methods of real-time control systems design basing on a program behavior invariant.
  • Theory and methods of construction of "nature-inspired" algorithms for problems of structure synthesis and task sheduling in distributed systems.
  • Verification of parameterized systems of asynchronously communicating processes.
  • Model of SDN networks operation.
  • Method of estimation and optimization of the reliability and fault-tolerance of a real-time control system.
  • Enhancement of Network Calculus for the purpose of QoS management in networks.
  • New family of algorithms for the problem of system's behaviour identification in presence of non-lineary distortions of the sensors data.
  • New class of job scheduling algorithms for distributed systems, which combine eager heuristics with limited-depth search.
  • Method for estimation of the execution frequency of sequential program code snippets.
  • Detection of similar source code blocks in software systems.
  • New low-complexity methods for leaning and synthesis of direct propagation neural networks.
  • Time synchronization algorithms for distributed simulation of real-time systems.

Current research directions are described here.

Teaching statistics

308 graduate students

21 Candidates of Science.