AVTOMATLASHTIRISH TIZIMLARIDA OBYEKT BARQARORLIGINI NAZORAT QILISH VA MODELLASHTIRISHGA DOIR AYRIM MULOHAZALAR
Article Sidebar
Main Article Content
Аннотация:
Ushbu maqolada avtomatlashtirish tizimlarida obyekt barqarorligini nazorat qilish va modellashtirish to’g’risida fikr yuritilgan.Unda obyekt muvozanatini rostlash texnikasi, avtomatlashtirish tizimlari va ularning samarodorligi borasida ma’lumotlar berilgan. Bundan tashqari tizimga zamonaviy texnologiyalarni joriy qilish va ularning parametrlari to’g’risida tahlillar asosida fikr yuritilgan
Article Details
Как цитировать:
Библиографические ссылки:
Лях Т. В., Зюбин В. Е., Сизов М. М. Опыт применения языка Reflex при автоматизации Большого солнечного вакуумного телескопа // Промышленные АСУ и контроллеры. 2016. № 7. С. 37–43.
Зюбин В. Е. К пятилетию стандарта IEC 1131-3. Итоги и прогнозы // Приборы и системы.
Гаранина Н. О., Зюбин В. Е., Лях Т. В. Онтологический подход к организации шаблонов требований в рамках системы поддержки формальной верификации программных систем. // Системная информатика. 2017. № 9. С. 111–132.
Shilov N. V., Garanina N. O. Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems. Knowledge Processing and Data Analysis // Lecture Notes in Computer Science. 2011. Iss. 6581. P. 48–58.
Шелехов В. И. Верификация и синтез программ сложения на базе правил корректности операторов // Моделирование и анализ информационных систем. 2010. Т. 17, № 4. С. 101–110.
Clarke E. M., Gao S. Model checking hybrid systems // International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Lecture Notes in Computer Science. 2014. Iss. 8803. Р. 385–386.
Clarke E. M., Grumberg O., Peled D. Model checking. MIT Press, 1999. 314 p.
Clarke E. M., Emerson A., Sistla P. Automatic verification of finite-state concurrent systems using temporal logic specifications // ACM Transactions on Programming Languages and Systems. Vol. 8. Iss. 2. 1986. P. 244–263.
Закревский А. Д. Параллельные алгоритмы логического управления. М.: Эдиториал УРСС, 2003. 200 с.
Wagner F., Schmuki R., Wagner T., Wolstenholme P. Modeling software with finite state machines: a practical approach // Auerbach Publications. 2006. 390 p.
Harel D. Statecharts: A visual formalism for complex systems // Science of computer programming. 1987. Vol. 8.3. P. 231–274.
Зюбин В. Е. Программирование ПЛК: языки МЭК 61131-3 и возможные альтернативы // Промышленные АСУ и контроллеры. 2005. № 11. С. 31–35.