|
|
|
Yiming Fan and Meng Wang
Software specifications are of great importance to improve the quality of software. To automatically mine specifications from software systems, some specification mining approaches based on finite-state automatons have been proposed. However, these appro...
ver más
|
|
|
|
|
|
|
Neven Had?ic, Viktor Lo?ar, Tihomir Opetuk and Robert Keser
The digital twinning concept stands as a remarkable opportunity to integrate sophisticated mathematical models within the context of existing manufacturing systems. Such models may provide shipyard management with predictive analytics, improving the fina...
ver más
|
|
|
|
|
|
|
Neven Had?ic, Viktor Lo?ar, Tihomir Opetuk and Zoran Kunkera
Assembly lines are one of the cornerstones of modern production systems, significantly affecting the global society, economy, and other ancillary sectors. This is why the evaluation of assembly lines is particularly significant. Hence, the research on mo...
ver más
|
|
|
|
|
|
|
Xue Zhao, Ye He, Xiaoan Chen and Zhi Liu
With the development of the global economy, the demand for manufacturing is increasing. Accordingly, human?robot collaborative assembly has become a research hotspot. This paper aims to solve the efficiency problems inherent in traditional human-machine ...
ver más
|
|
|
|
|
|
|
Trang Nguyen,Maxim Shcherbakov
Pág. 31 - 36
Nowadays, the use of chatbots in industry and education has increased substantially. Building the chatbot system using traditional methods less effective than the applied of machine learning (ML) methods. Before chatbot based on finite-state, rule-base, ...
ver más
|
|
|
|
|
|
|
Chongpu Chen, Jianhua Guo, Chong Guo, Chaoyi Chen, Yao Zhang and Jiawei Wang
In a cut-in scenario, traditional adaptive cruise control usually cannot effectively identify the cut-in vehicle and respond to it in advance. This paper proposes an adaptive cruise control (ACC) strategy based on the MPC algorithm for cut-in scenarios. ...
ver más
|
|
|
|
|
|
|
Muhammad Paend Bakht, Zainal Salam, Abdul Rauf Bhatti, Waqas Anjum, Saifulnizam A. Khalid and Nuzhat Khan
This study investigates the potential application of Stateflow (SF) to design an energy management strategy (EMS) for a renewable-based hybrid energy system (HES). The SF is an extended finite state machine; it provides a platform to design, model, and e...
ver más
|
|
|
|
|
|
|
Neven Had?ic, Viktor Lo?ar and Filip Abdulaj
Research on the performance measure evaluation of Bernoulli serial production lines is presented in this paper. Important aspects of the modeling and analysis using transition systems within the Markovian framework are addressed, including analytical and...
ver más
|
|
|
|
|
|
|
Joël Colloc
The purpose of this extension of the ESM?2019 conference paper is to propose some means to implement an artificial thinking model that simulates human psychological behavior. The first necessary model is the time fuzzy vector space model (TFVS). Traditio...
ver más
|
|
|
|
|
|
|
Ferdinand Settele, Alexander Weber and Alexander Knoll
In this note, the application of a plant model-based fault detection method for nonlinear control systems on aircraft takeoff is introduced. This method utilizes non-deterministic finite-state automata, which approximate the fault-free dynamics of the pl...
ver más
|
|
|
|