Synthesis of a Controller Algorithm for Safety-Critical Systems.

Fellipe Guilherme Rey de Souza Celso Massaki Hirata Simin Nadjm-Tehrani

Published in: IEEE Access (2022)

Keyphrases

safety critical
learning algorithm
management system
data mining
artificial intelligence
control system
object oriented
ubiquitous computing
formal methods