A Temporal Logic for Programmable Logic Controllers.
Natalia Olegovna GaraninaIgor S. AnureevVladimir E. ZyubinSergey M. StaroletovTatiana V. LiakhAndrei S. RozovSergei P. GorlatchPublished in: Autom. Control. Comput. Sci. (2021)
Keyphrases
- temporal logic
- programmable logic
- model checking
- modal logic
- satisfiability problem
- concurrent systems
- verification method
- mazurkiewicz traces
- linear temporal logic
- transition systems
- model checker
- reinforcement learning
- belief revision
- computation tree logic
- hardware description language
- reactive systems
- bounded model checking
- field programmable gate array
- real time
- formal specification language
- search algorithm
- temporal knowledge
- dynamic constraints
- symbolic model checking
- software systems
- low cost
- information systems