Terminal de consulta web

Analise e sintese de sistemas a eventos discretos via logica modal

Analise e sintese de sistemas a eventos discretos via logica modal

Jose Carlos Magossi

TESE

Português

T/UNICAMP M275a

Campinas, SP : [s.n.], 1998.

131f. : il.

Orientador: Rafael Santos Mendes

Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação

Resumo: Aborda-se o problema de verificação de especificações e síntese de controladores em uma classe de sistemas dinâmicos a eventos discretos. Propõe-se uma nova lógica modal denominada lógica modal NK, e mostra-se que um conjunto de fórmulas nesta lógica é equivalente a um conjunto de fórmulas... Ver mais
Abstract: The problem of verification of a specification and controller synthesis in a class of discrete event dynamic systems is addressed. We propose a new propositional modallogic, named NK logic, and we show that a set of formulas of this logic is completely equivalent to a set of equations... Ver mais

Analise e sintese de sistemas a eventos discretos via logica modal

Jose Carlos Magossi

										

Analise e sintese de sistemas a eventos discretos via logica modal

Jose Carlos Magossi

    Exemplares

    Nº de exemplares: 3
    Não existem reservas para esta obra