Automated Generation of Optimal Controllers through Model Checking Techniques

DELLA PENNA, G.; Magazzeni, D.; Tofani, A.; Intrigila, B.; Melatti, Igor; Tronci, Enrico

doi:10.1007/978-3-540-79142-3_10

Series: Lecture Notes in Electrical Engineering, Vol. 15

Automated Generation of Optimal Controllers through Model Checking Techniques / G., DELLA PENNA; D., Magazzeni; A., Tofani; B., Intrigila; Melatti, Igor; Tronci, Enrico. - (2008), pp. 107-122. [10.1007/978-3-540-79142-3_10].

Automated Generation of Optimal Controllers through Model Checking Techniques

G. DELLA PENNA;D. MAGAZZENI;A. TOFANI;B. INTRIGILA;MELATTI, IGOR;TRONCI, Enrico

2008

Abstract

Series: Lecture Notes in Electrical Engineering, Vol. 15

Scheda breve

Scheda completa

	Anno di pubblicazione
	
				2008
			
	Titolo del volume
	
				Informatics in Control Automation and Robotics
			
	ISBN
	
				9783540791416
			
	Tipologia
	
				02 Pubblicazione su volume::02a Capitolo o Articolo
			
	Citazione
	
				Automated Generation of Optimal Controllers through Model Checking Techniques / G., DELLA PENNA; D., Magazzeni; A., Tofani; B., Intrigila; Melatti, Igor; Tronci, Enrico. - (2008), pp. 107-122. [10.1007/978-3-540-79142-3_10].
			
	Appartiene alla tipologia:
	
				02a Capitolo o Articolo

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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/168586

Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni

ND

8

ND

Catalogo dei prodotti della ricerca