The formal description of discrete-event systems using positively constructed formulas
Artem Davydov, Александр Ларионов, Nadezhda Nagul · 2017
The approach to the first-order logic formalization of discrete-event systems based on the positively constructed formulas calculus is presented. Main concepts of the calculus are given and an example of logical deductions which model the behavior of a discrete-event system under supervisory control is presented.