Crossmark

On the Application of the Calculus of Positively Constructed Formulas for the Study of Controlled Discrete-Event Systems

Published Online: 2025-02-12

Published Print: 2024-12

Authors

Davydov, A. V. https://orcid.org/0000-0002-8703-3096
Larionov, A. A. https://orcid.org/0000-0001-7116-9338
Nagul, N. V. https://orcid.org/0000-0003-1439-3274
License Information

Text and Data Mining valid from 2024-12-01

Version of Record valid from 2024-12-01
More Information

Article History

Received: 2 February 2024

Revised: 8 February 2024

Accepted: 14 February 2024

First Online: 12 February 2025

CONFLICT OF INTEREST

: The authors of this work declare that they have no conflicts of interest.

Document is current