A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway …
To improve the design, Verification and Validation phases of Power Supply Equipment of the
Electric Lines control systems at French Railway Company (SNCF for Société nationale des …
Electric Lines control systems at French Railway Company (SNCF for Société nationale des …
Introducing plant features to model-based testing of programmable controllers in automation systems
This paper proposes a model-based test generation approach for programmable controllers
that aims at reducing the length of a test sequence by applying plant features. The proposed …
that aims at reducing the length of a test sequence by applying plant features. The proposed …
[PDF][PDF] A Qualitative Study of Model based Approach with the Existing Approaches for Solving Combinatorial Optimization Problems Using Hybrid Strategies
In literature, combinatorial optimization problems have been solved using several hybrid
strategies. From the principles of software engineering, it is explicit that modelling enables …
strategies. From the principles of software engineering, it is explicit that modelling enables …
A lateral flow immunochromatographic assay (LFIA) strip reader based on scheduler and 8051 IP core
This paper reports a fuzzy differential equations approach for the modeling of initial
condition uncertainty for a proportional derivative closed-loop control of a direct current …
condition uncertainty for a proportional derivative closed-loop control of a direct current …
Sustav upravljanja brzinom vrtnje sinkronoga stroja korištenjem determinističkih estimatora i metode linearizacije po povratnoj vezi.
M Šundrica - 2019 - dr.nsk.hr
Tema ovog istraživanja je upravljanje sinkronim strojem, jednom od najvažnijih komponenti
u elektroenergetici. U novije vrijeme se sinkroni strojevi osobito koriste iu motornim …
u elektroenergetici. U novije vrijeme se sinkroni strojevi osobito koriste iu motornim …
Advances in Model-Based Testing of Programmable Controllers: Automatic Test Generation using Design-to-Test and Plant Features
C Ma - 2019 - mediatum.ub.tum.de
In this thesis, two novel approaches aiming at increasing the effectiveness and efficiency
during the model-based testing of programmable controllers in automation systems are …
during the model-based testing of programmable controllers in automation systems are …
Imunokromatografsko testiranje lateralnog toka (LFIA) čitača trake temeljeno na rasporedu i 8051 IP jezgri
Sažetak Imunokromatografsko testiranje lateralnog toka (LFIA) nužno je za preciznu
detekciju i dijagnozu oboljenja te psihičkih stanja. Međutim, postojeći LFIA opremljeni s …
detekciju i dijagnozu oboljenja te psihičkih stanja. Međutim, postojeći LFIA opremljeni s …
[CITAS][C] Usefulness of Model-Based Testing Within Simulink Platform
F Chocholak - 2018