Methods for synthesizing checking tests with guaranteed completeness for testing discrete control systems based on timed automata

More works in this specialty

1. Modeling and algorithmization of rational treatment and functioning of the urology department of a multidisciplinary hospital

   Shchukin, Aleksandr Vasilyevich · Candidate of Sciences

   • 05.13.01 Systems analysis, control and information processing (by industry)
2. Information systems for environmental monitoring of chemical industry enterprises based on data warehouse technologies

   Kolybanov, Kirill Yuryevich · Doctor of Sciences · M.V. Lomonosov Moscow State Academy of Fine Chemical Technology

   • 05.13.01 Systems analysis, control and information processing (by industry)
3. System analysis of hydrolithospheric processes in the region of the city of Lermontov

   Tsapleva, Valentina Viktorovna · 2012 · Candidate of Sciences · Technological Institute of Southern Federal University

   • 05.13.01 Systems analysis, control and information processing (by industry)
4. Technological coordination and control of complexly structured production facilities based on multi-agent technologies

   Tsukanov, Mikhail Aleksandrovich · 2012 · Candidate of Sciences · Voronezh State Technical University

   • 05.13.01 Systems analysis, control and information processing (by industry)
5. Optimal control problem for the motion of a rotating body with liquid filling

   Ivanov, Il'ya Mikhaylovich · 2012 · Candidate of Sciences · A.A. Dorodnicyn Computing Centre of the Russian Academy of Sciences

   • 05.13.01 Systems analysis, control and information processing (by industry)

All works in this specialty