Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation.

J. S. Sajiv Kumar Raghavan Komondoor

Published in: ATVA (1) (2023)

Keyphrases

reactive systems
controller synthesis
autonomic computing systems
model checking
temporal logic
information flow
petri net
closed loop
formal methods
control system
multi agent
control algorithm
control flow
real time systems
multi agent systems