Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Miczulski P.

1 2006

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: diagrams BDD

Sortuj według:

Ogranicz wyniki do:

Weryfikacja i synteza programów dla reprogramowalnych sterowników logicznych z wykorzystaniem funkcji monotonicznych i diagramów BDD

Miczulski P.

Pomiary Automatyka Kontrola

2006

R. 52, nr 7 bis

112--114

Artykuł jest podsumowaniem prac badawczych autora w zakresie poszukiwania efektywnych metod projektowania reprogramowalnych sterowników cyfrowych. Opisana metoda weryfikacji behawioralnej i syntezy funkcjonalnej, programów sterowania binarnego, bazuje na autorskiej koncepcji reprezentacji przestrzeni stanów, za pomocą funkcji monotonicznych i hierarchicznych diagramów decyzyjnych. Metoda weryfikacji behawioralnej pozwala na analizę właściwości sieci Petriego, w celu wykrycia wadliwych konstrukcji układu. Wynikiem syntezy funkcjonalnej są równania logiczne opisujące zachowanie układu i dekompozycja współbieżnych algorytmów sterowania binarnego na algorytmy sekwencyjne.

The results of research for the effective methods of designing of reprogrammable logical controllers were presented. The described method of behavioural verification and functional synthesis of binary control programs is based of author's idea of state space representation. The state space is represented by means of monotone logical functions and hierarchical binary decision diagrams. The method of behavioural verification allows, during the analysis of Petri net properties, to find out the incorrect part of a controller specification. As the result of the functional synthesis logical equations are obtained. They define a control behaviour and a decomposition of the concurrent algorithms into sequential algorithms.