Publication schedule
  • №4 December 2019
    Submission deadline: 10 November 2019
  • №1 March 2020
    Submission deadline: 10 February 2020
  • №2 June 2020
    Submission deadline: 10 May 2020

Articles by keywords "cyber-physical system"

Dynamic verification of hybrid systems

Conference «Tools & Methods of Program Analysis – 2013»
  • Year: 2014
  • Issue: 2
  • 746
  • 1901
  • Pages: 189-203

Autonomous Robots Group Control Using Polar Coordinates

Intellectual Systems and Technologies
  • Year: 2017
  • Volume: 10
  • Issue: 4
  • 30
  • 914
  • Pages: 97-106