QKS is an available at http://mclab.di.uniroma1.it. It is a software tool for the automatic synthesis of quantized feedback control software from the plant model and formal closed loop specifications.
QKS / Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico. - ELETTRONICO. - (2010).
QKS
MARI, FEDERICO;MELATTI, IGOR;SALVO, Ivano;TRONCI, Enrico
2010
Abstract
QKS is an available at http://mclab.di.uniroma1.it. It is a software tool for the automatic synthesis of quantized feedback control software from the plant model and formal closed loop specifications.File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
