Exploració per tema "State-space methods"
Ara es mostren els items 10-12 de 12
-
Partial order based approach to synthesis of speed-independent circuits
(Institute of Electrical and Electronics Engineers (IEEE), 1997)
Text en actes de congrés
Accés obertThis paper introduces a novel technique for synthesis of speed-independent circuits from their Signal Transition Graph specifications. The new method uses partial order in the form of the STG-unfolding segment to derive ... -
Programación de espacios de estados con Java en asignaturas de inteligencia artificial
(Universitat Oberta La Salle, 2015-07-08)
Text en actes de congrés
Accés obertLa representación mediante espacios de estados es un elemento central en los cursos sobre inteligencia artificial simbólica. Las prácticas de programación resultan muy importantes para la asimilación de este concepto. En ... -
Verification of concurrent systems with parametric delays using octahedra
(Institute of Electrical and Electronics Engineers (IEEE), 2005)
Text en actes de congrés
Accés obertA technique for the verification of concurrent parametric timed systems is presented. In the systems under study, each action has a bounded delay where the bounds are either constants or parameters. Given a safety property, ...