Temat: controller model - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Automatyczna weryfikacja i synteza regułowego modelu sterownika logicznego
Autorzy:: Grobelna, I.
Data publikacji:: 2011
Słowa kluczowe:: sterownik logiczny
specyfikacja
sprawdzanie modelu
synteza
logic controller
specification
model checking
synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Regułowy model logiczny rekonfigurowalnego sterownika logicznego do weryfikacji i syntezy
Autorzy:: Grobelna, I.
Data publikacji:: 2012
Słowa kluczowe:: rekonfigurowalny sterownik logiczny
model logiczny
interpretowane sieci Petriego
formalna weryfikacja
synteza
reconfigurable logic controller
logical model
control interpreted Petri nets
formal verification
synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Weryfikacja modelowa interpretowanych sieci Petriego sterowania
Model checking of control interpreted Petri Nets
Autorzy:: Grobelna, I.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: weryfikacja modelowa
sterownik logiczny
interpretowane sieci Petriego sterowania
logika temporalna
model checking
logic controller
control interpreted Petri nets
temporal logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Weryfikacja modelowa interpretowanych sieci Petriego sterowania
Autorzy:: Grobelna, I.
Data publikacji:: 2011
Słowa kluczowe:: weryfikacja modelowa
sterownik logiczny
interpretowane sieci Petriego sterowania
logika temporalna
model checking
logic controller
control interpreted Petri nets
temporal logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Petri nets and activity diagrams in logic controller specification – transformation and verification
Sieci petriego i diagramy aktywności w specyfikacji sterowników logicznych – transformacja i weryfikacja
Autorzy:: Grobelna, I.
Grobelny, M.
Adamski, M.
Data publikacji:: 2010
Wydawca:: Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
Tematy:: formal verification
logic controller
model checking
Petri nets
UML Activity
Diagrams
formalna weryfikacja
sterownik logiczny
weryfikacja modelowa
sieci Petriego
diagramy aktywności UML; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Petri nets and activity diagrams in logic controller specification – transformation and verification
Autorzy:: Grobelna, I.
Grobelny, M.
Adamski, M.
Data publikacji:: 2010
Słowa kluczowe:: formal verification
logic controller
model checking
Petri nets
UML Activity
Diagrams
formalna weryfikacja
sterownik logiczny
weryfikacja modelowa
sieci Petriego
diagramy aktywności UML; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Informacja