Adaptive Localization-Free Secure Routing Protocol for Underwater Sensor Networks. [PDF]
Alharbi A, Ibrahim S.
europepmc +1 more source
Preface - 22nd Brazilian Symposium on Formal Methods - SBMF 2019. [PDF]
Duran A, Wadler P.
europepmc +1 more source
Tool support for implementation of object-oriented class relationships and patterns [PDF]
Haddow, John, Paterson, James H.
core +1 more source
Safety Considerations in Deployment of Robotic Systems – A Systematic Review
ABSTRACT An in‐depth understanding of the risks related to robotic systems is crucial to guarantee safety throughout all stages of robot design and operations. This required a thorough risk assessment following international standards. This study presents a systematic review of previous research on safety considerations in the design of robotic systems,
Adedire D. Adesiji +6 more
wiley +1 more source
A smart manufacturing paradigm for robotic welding process optimization through machine learning. [PDF]
Sathick J, Khan AAA.
europepmc +1 more source
Extraction of use case diagram elements using natural language processing and network science. [PDF]
Imtiaz Malik M +2 more
europepmc +1 more source
MBSE Co‐Pilot: A Research Roadmap
ABSTRACT As the complexity of engineered systems continues to increase, Model‐Based Systems Engineering (MBSE) methodologies, languages, and tools are increasingly insufficient to meet the demands of modern systems engineering. This paper proposes a research roadmap for the development of an AI‐driven machine, referred to as MBSE Co‐Pilot, designed to ...
Wenheng Zhang +6 more
wiley +1 more source
Real time urban traffic prediction using RFID and a hybrid LSTM random forest model. [PDF]
Khattab O +6 more
europepmc +1 more source
Time‐ and Behaviour‐Preserving Execution of Determinate Supervisory Control
The activity framework is a model‐based framework incorporating a model of activities with determinate timing and behaviour, and a strong mathematical foundation based on max‐plus algebra that allows efficient timing analysis and optimisation of CPS. Preserving the specified behaviour and the model‐predicted timing in an implementation is challenging ...
Alireza Mohamadkhani +3 more
wiley +1 more source
Model of an Open-Source MicroPython Library for GSM NB-IoT. [PDF]
Lupandin A +4 more
europepmc +1 more source

