Temporal non-monotonic logical systems in the tasks of modeling complex dynamic object control systems
Keywords:
temporal logic, tight real time, control systemAbstract
The article discusses the possibility of using temporal non-monotonic logical systems, based on linear clock-faced temporal logic, in modeling complex dynamic object control systems that work under rigid real time conditions.
Published
2010-04-19
How to Cite
Vasilyievsky, A., & Lapshin, K. (2010). Temporal non-monotonic logical systems in the tasks of modeling complex dynamic object control systems. Information and Control Systems, (2), 15-20. Retrieved from http://proceedings.spiiras.nw.ru/index.php/ius/article/view/14162
Issue
Section
System and process modeling