Synthesizing Controller for Unsynthesizable Specification Based on Criticality Levels.

Dong Yang Hao Shi Wei Dong Yanqi Dong Yong Zhang

Published in: Internetware (2024)

Keyphrases

high level
control system
controller design
real time
specification language
artificial intelligence
information systems
multi agent
high levels
control scheme
pid controller
formal specification
levels of abstraction
control architecture
formal verification