An observed increase in systems scale and complexity has led to a significant momentum in
exploring, identifying, and adopting model based systems engineering (MBSE) tools and …

Offers an integrated presentation for path planning and motion control of cooperative mobile
robots using discrete-event system principles Generating feasible paths or routes between a …

In this paper, we propose an automated method for planning a team of mobile robots such
that a Boolean-based mission is accomplished. The task consists of logical requirements …

Requirements verification at early phases of the design process is one of the main
challenges when develo** critical and complex systems. In this paper, we focus on the …

Designing complex and critical systems needs a methodology to ensure the correctness of
their specifications. Within an overall approach which considers the validation of SysML …

Abstract Attacks on IoT, Cyber-Physical-Systems (CPS), and other computing systems are
evolving rapidly. As a result, IoT devices used in critical infrastructures such as energy …

Recent industrial globalization has increased importance of functional verification in product
design considering various ways of usage. In particular, for shortening development time, it …

System Modelling Language (SysML) is a modelling language that allows system
description with various integrated diagrams. The SysML activity diagram (SAD) is widely …

As Cyber-Physical Systems (CPS) become increasingly complex and critical, ensuring high-
quality specifications is crucial. However, the process is often challenging due to the need …

Представлены состав, структура и способы применения комплекса программных
средств, обеспечивающего разработчиков автоматизированных систем управления …