32 results on '"Wiśniewski, Remigiusz"'
Search Results
2. Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems
3. Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems
4. Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems
5. Prototyping of Concurrent Control Systems Implemented in FPGA Devices
6. Analysis of Concurrent Control Systems
7. Prototyping of Concurrent Control Systems
8. Modelling of Concurrent Systems in Hardware Languages
9. Implementation of Concurrent Control Systems in FPGA
10. Related Work
11. Decomposition of Concurrent Control Systems
12. Hypergraphs and Exact Transversals
13. Perfect Graphs and Comparability Graphs
14. Introduction
15. Conclusions
16. Effective Partial Reconfiguration of Logic Controllers Implemented in FPGA Devices
17. Application of Hypergraphs to SMCs Selection
18. Theoretical Aspects of Petri Nets Decomposition Based on Invariants and Hypergraphs
19. Implementation of Concurrent Control Systems in FPGA.
20. Prototyping of Concurrent Control Systems.
21. Modelling of Concurrent Systems in Hardware Languages.
22. Decomposition of Concurrent Control Systems.
23. Hypergraphs and Exact Transversals.
24. Analysis of Concurrent Control Systems.
25. Perfect Graphs and Comparability Graphs.
26. Introduction.
27. Related Work.
28. FrontMatter.
29. Effective Partial Reconfiguration of Logic Controllers Implemented in FPGA Devices.
30. Conclusions.
31. BackMatter.
32. Application of Hypergraphs to SMCs Selection.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.