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
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 escritas no contexto da teoria de dióides. Desse modo, um sistema descritível por um grafo a eventos, que é modelado por um conjunto de equações num dióide apropriado, também é modelado por um conjunto de fórmulas da lógica modal NK. Então utiliza-se as técnicas de tableaux analíticos para desenvolver um algoritmo para decidir se uma especificação é satisfeita ou não. Quanto ao problema de síntese, a solução obtida pelo tableau analítico é utilizada para determinar as NK-fórmulas, e portanto o controlador, que tomará a especificação satisfeita. A principal vantagem deste inter-relacionamento de abordagens é permitir a utilização de técnicas da lógica modal, particularmente os tableaux analíticos, no tratamento de problemas
de análise e síntese de controlad9res para sistemas a eventos discretos Ver menos
de análise e síntese de controlad9res para sistemas a eventos discretos Ver menos
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
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 written in the context of the theory of dioids. Therefore, a system described by an event graph can be modeled by a set of formulas in NK logic. Then we use the technique of the analytic tableaux to develop an algorithm to decide if a specification, also expressed in NK logic, is satisfied. If a specification is not satisfied then there exists a solution for the equations written in dioid context that violates the specification. The method of analytic tableaux gives this solution. Conceming the synthesis problem, the solution obtained by the analytic tableau is used to determine the NK-formulas, and therefore the controller, that makes the specification be verified. The main advantage of this approach is allow us to use the technique of analytic tableaux to investigate problems of analysis and synthesis of controllers for discrete event systems
Ver menos
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