A practical use of model checking for synthesis: generating a dam controller for flood management.

• Autor

  Gallardo-Melgarejo, María del Mar; Merino-Gómez, Pedro; Panizo-Jaime, Laura; De-Linares-del-Río, Carlos Antonio

• Fecha

  2011-02-08

• Editorial/Editor

  Willey

• Palabras clave

  Inundaciones - Control; Control automático; Soporte lógico

• URI

  https://hdl.handle.net/10630/30969

• DOI

  https://dx.doi.org/10.1002/spe.1048

• Compartir

  

Estadísticas

Ver Estadísticas de uso