IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees.

Ben Wooding Abolfazl Lavaei

Published in: HSCC (2024)

Keyphrases

controller synthesis
autonomic computing systems
closed loop
convergence proof
multi agent
control system
controller design
neural network
evolutionary algorithm
software systems
input output
convergence rate
convergence speed
control algorithm