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.