*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 7*number_thousands_separator*462

1

Construction of CFC-Programs by LTL-Specification.
Ryabukhin, D. A. ; Kuzmin, E. V. ; Sokolov, V. A.
Automatic Control & Computer Sciences; Dec2017, Vol. 51 Issue 7, p567-575, 9p

*Academic Journal*
2

Towards Hazard Analysis Result Verification for Autonomous Ships: A Formal Verification Method Based on Timed Automata.
Zhou, Xiang-Yu ; Jin, Shiqi ; Mei, Yang ; et al.
Journal of Marine Science & Engineering; Jun2025, Vol. 13 Issue 6, p1058, 29p

ARTIFICIAL intelligence INDUSTRIAL safety SYSTEMS engineering FORMAL languages SYSTEM safety SAFETY standards
*Academic Journal*
3

Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions.
Gu, Rong ; Baranov, Eduard ; Ameri, Afshin ; et al.
ACM Transactions on Software Engineering & Methodology; Sep2024, Vol. 33 Issue 7, p1-46, 46p

MULTIAGENT systems CONSTRUCTION planning QUARRIES & quarrying SCHEDULING ALGORITHMS
*Academic Journal*
4

Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review.
Cederbladh, Johan ; Cicchetti, Antonio ; Suryadevara, Jagadish
ACM Transactions on Software Engineering & Methodology; Mar2024, Vol. 33 Issue 3, p1-67, 67p

SYSTEMS engineering TECHNICAL literature WORKFLOW QUALITY control SYSTEMS development WORKFLOW software
*Academic Journal*
5

Discrete-Event Simulation for Waste Minimization and Productivity Enhancement in Coupling Manufacturing.
Herrera-Vidal, Germán ; Sierra, David Martinez ; Padilla, Harold Cohen ; et al.
Applied Sciences (2076-3417); Feb2026, Vol. 16 Issue 4, p1701, 25p

DISCRETE event simulatio... WASTE minimization LABOR productivity INDUSTRIAL efficiency STEEL wastes MANUFACTURING industries
*Academic Journal*
6

Deep Learning and Remote‐Sensed Observations Reveal Global Underestimation of River Obstructions.
He, Mingxia ; Niu, Jie ; Riley, William J. ; et al.
Water Resources Research; Sep2025, Vol. 61 Issue 9, p1-22, 22p

DEEP learning REMOTE sensing RIVER engineering HYDROLOGIC models SPATIAL arrangement ENVIRONMENTAL monitoring
*Academic Journal*
7

Test-based behaviour model derivation and adaption to enable automated test case scheduling for automated production systems.
Land, Kathrin ; Vogel-Heuser, Birgit ; Off, Richard
Production Engineering (09446524); Feb2025, Vol. 19 Issue 1, p1-13, 13p

*Academic Journal*
8

Operations-Oriented Supply Chain Master Planning in Panelized Construction Using Hybrid Multiagent Simulation.
Zaalouk, Ahmed ; Altaf, Mohammed Sadiq ; Han, SangHyeok
Journal of Construction Engineering & Management; Oct2025, Vol. 151 Issue 10, p1-28, 28p

SUPPLY chain management JUST-in-time systems TRANSPORTATION managemen... RESOURCE allocation RESOURCE management MULTIAGENT systems
*Academic Journal*
9

A Review on Data-Driven Constitutive Laws for Solids: A Review on Data-Driven Constitutive Laws for Solids: J. N. Fuhg et al.
Fuhg, Jan N. ; Anantha Padmanabha, Govinda ; Bouklas, Nikolaos ; et al.
Archives of Computational Methods in Engineering; Apr2025, Vol. 32 Issue 3, p1841-1883, 43p

*Academic Journal*
10

An innovative model based on machine learning and fuzzy logic for tracking lower limb exercises in stroke patients.
Das, Utpal Chandra ; Le, Ngoc Thien ; Vitoonpong, Timporn ; et al.
Scientific Reports; 4/2/2025, Vol. 15 Issue 1, p1-20, 20p

*Academic Journal*
11

Deep learning-based automatic optical inspection system empowered by online multivariate autocorrelated process control.
Wang, Kung-Jeng ; Asrini, Luh Juni
International Journal of Advanced Manufacturing Technology; Jun2022, Vol. 120 Issue 9/10, p6143-6162, 20p

AUTOMATIC optical inspec... DEEP learning STATISTICAL process cont... QUALITY control charts CONVOLUTIONAL neural net... MANUFACTURING processes
*Academic Journal*
12

Research on visual simulation for complex weapon equipment interoperability based on MBSE.
Yang, Haigen ; Xia, Zhun ; Chen, Yanqing ; et al.
Multimedia Tools & Applications; Feb2024, Vol. 83 Issue 5, p13463-13482, 20p

*Academic Journal*
13

An improved approach on the model checking for an agent-based simulation system.
Liu, Yinling ; Wang, Tao ; Zhang, Haiqing ; et al.
Software & Systems Modeling; Apr2021, Vol. 20 Issue 2, p429-445, 17p

SIMULATION methods & mod... AIRPLANE maintenance STRUCTURAL analysis (Eng...
*Academic Journal*
14

Construction of CFC-programs by LTL-specification ; Построение CFC-программ ПЛК по LTL-спецификации
D. A. Ryabukhin ; E. V. Kuzmin ; V. A. Sokolov ; et al.
Modeling and Analysis of Information Systems; Том 23, № 2 (2016); 173-184 ; Моделирование и анализ информационных систем; Том 23, № 2 (2016); 173-184 ; 2313-5417 ; 1818-1015

CFC-диаграммы construction and verific... LTL-specification CFC-diagrams построение и верификация... LTL-спецификация...
*Academic Journal*
15

Coverage visualization and analysis of net inscriptions in coloured Petri net models.
Ahishakiye, Faustin ; Jarabo, José Ignacio Requeno ; Kristensen, Lars Michael ; et al.
Innovations in Systems & Software Engineering; Mar2024, Vol. 20 Issue 1, p17-30, 14p

*Academic Journal*
16

Human-autonomy collaboration in supervisory risk control of autonomous ships.
Johansen, Thomas ; Utne, Ingrid Bouwer
Journal of Marine Engineering & Technology; Apr2024, Vol. 23 Issue 2, p135-153, 19p

SUPERVISORY control syst... LOSS control CARGO ships SHIPS BAYESIAN analysis AUTONOMOUS vehicles
*Academic Journal*
17

Predictive hybrid fragility models for urban scale seismic assessment: a case study in Basilicata Region (Italy).
Sandoli, A. ; Pacella, G. ; Calderoni, B. ; et al.
Bulletin of Earthquake Engineering; Jan2023, Vol. 21 Issue 2, p1047-1077, 31p

BASILICATA (Italy) ITALY EARTHQUAKE hazard analys... MODELS & modelmaking RETROFITTING of building... REINFORCED concrete
*Academic Journal*
18

Model-based test case generation and prioritization: a systematic literature review.
Mohd-Shafie, Muhammad Luqman ; Kadir, Wan Mohd Nasir Wan ; Lichter, Horst ; et al.
Software & Systems Modeling; Apr2022, Vol. 21 Issue 2, p717-753, 37p

COMPUTER software testin... LONGITUDINAL method TEST systems SCALABILITY EMPIRICAL research
*Academic Journal*
19

Impact of Fireworks Industry Safety Measures and Prevention Management System on Human Error Mitigation Using a Machine Learning Approach.
Nallathambi, Indumathi ; Savaram, Padmaja ; Sengan, Sudhakar ; et al.
Sensors (14248220); May2023, Vol. 23 Issue 9, p4365, 32p

TAMIL Nadu (India) CHENNAI (India) HUMAN error MACHINE learning EXPLOSIONS INDUSTRIAL safety
*Academic Journal*
20

Report of the ACPSEM radiation oncology medical physics workforce modelling project task group.
Crowe, Scott ; Aland, Trent ; Fog, Lotte ; et al.
Physical & Engineering Sciences in Medicine; Dec2021, Vol. 44 Issue 4, p1013-1025, 13p

*Academic Journal*

*Filter*