Zobrazeno 1 - 10
of 50
pro vyhledávání: '"Tiberiu Letia"'
Autor:
Octavian Cuibus, Tiberiu Letia
Publikováno v:
2022 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ceee5ef721f1d9c5c10dc3aa463272b
https://doi.org/10.1109/aqtr55203.2022.9801955
https://doi.org/10.1109/aqtr55203.2022.9801955
Publikováno v:
ICSTCC
The development of quantum software applications requires models capable to describe quantum features (superposition, entanglement, reversibility etc.) as well as the software algorithm requirements. The newly proposed Quantum Petri Nets (QPNs) have
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::102079ce582a1b12866ca5a6db52edac
https://doi.org/10.1109/icstcc52150.2021.9607302
https://doi.org/10.1109/icstcc52150.2021.9607302
Publikováno v:
ICSTCC
OER-TPN (Object Enhanced Real-Time Petri Nets) have been successfully used to model, design, analyze and test applications. Apart from realtime contraints, OER-TPNs can be used to describe concurrency, task creation and input/output channel communica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d41e47d2b7c7d1492ac2e854b8e8760
https://doi.org/10.1109/icstcc50638.2020.9259746
https://doi.org/10.1109/icstcc50638.2020.9259746
Publikováno v:
2020 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR).
While UML can describe all kinds of features by making use of the appropriate model (diagram), OETPN uses only one model for specification, synthesis, design, implementation, and finally verification and testing of components. The paper shows the equ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5528ff4ace484566cfa870327542038a
https://doi.org/10.1109/aqtr49680.2020.9129999
https://doi.org/10.1109/aqtr49680.2020.9129999
Publikováno v:
2020 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR).
This article aims to present the role that portfolios of financial instruments have on the investment capital market, what are the main models and techniques created in the literature by scholars of the domain for the purpose of portfolio creation an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::21b7c627252f9099167cd4bbd60cc87b
https://doi.org/10.1109/aqtr49680.2020.9130022
https://doi.org/10.1109/aqtr49680.2020.9130022
Publikováno v:
2020 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR).
The railway systems are based on large, complex and highly developed cyber physical systems (CPS) that require powerful modeling capabilities. The current approach of railway resilience is based on newly introduced Object Enhanced Real-Time Petri Net
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b3efb6be41a62ad16ac8c1ec304c320b
https://doi.org/10.1109/aqtr49680.2020.9129996
https://doi.org/10.1109/aqtr49680.2020.9129996
Publikováno v:
2020 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR).
The considered traffic systems are large, complex and can switch some of their zones from ordered behaviors to chaotic ones. The study is based on Object Enhanced Real-Time Petri Net (OER-TPN) models. A variable number of entities move according to t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f06c78201df1ce12d0d542915e7cb03c
https://doi.org/10.1109/aqtr49680.2020.9129931
https://doi.org/10.1109/aqtr49680.2020.9129931
Autor:
Tiberiu Letia, Attila O. Kilyen
Publikováno v:
Annals of computer science and information systems, Vol 8, Pp 757-766 (2016)
FedCSIS
FedCSIS
The main topics of the Cyber-Physical Systems (CPSs) cover the specification, modeling, control, design, verification and testing. The CPSs implementation consists of reactive programs conceived using models that are capable to sustain the mentioned
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::62cd1ed54e624a9cf820d63999d3cf3b
https://doaj.org/article/f7ecf7c4a5904bc18873f5ecdd703133
https://doaj.org/article/f7ecf7c4a5904bc18873f5ecdd703133
Autor:
Tiberiu Letia, Dahlia Al Janabia
Publikováno v:
2018 22nd International Conference on System Theory, Control and Computing (ICSTCC).
The development of the complex data structures systems requires models that are capable of describing the systems’ requirements, design, verification, implementation and testing. This paper shows the development of such systems using Object Enhance
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ba23fbe3c8199089f2e616c5666c2e87
https://doi.org/10.1109/icstcc.2018.8540778
https://doi.org/10.1109/icstcc.2018.8540778
Publikováno v:
2018 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR).
Flexible Manufacturing Systems (FMSs) need Hybrid Control Systems (HCSs) to solve the specified requirements. An HCS is composed of a discrete event system (DES) and a continuous Discrete Time System (DTS) that interact each other to fulfil some shar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57880f89867b62026641c2cc90d07ca5
https://doi.org/10.1109/aqtr.2018.8402742
https://doi.org/10.1109/aqtr.2018.8402742