Results 11 to 20 of about 9,098,363 (304)

Hierarchical Activity-Based Models for Control Flows in Parallel Discrete Event System Specification Simulation Models

IEEE Access, 2021
Behavior modeling grounded in the Discrete-Event System Specification (DEVS) and Unified Modeling Language (UML) activity specifications is crucial for simulating dynamical systems.
Abdurrahman Alshareef, Hessam S. Sarjoughian   +1 more
doaj   +1 more source

Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm

Energies, 2020
Mechatronic systems are a class of cyber-physical systems, whose increasing complexity makes their validation and verification more and more difficult, while their requirements become more challenging.
Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara   +4 more
doaj   +1 more source

Model-Based (Mechanical) Product Design [PDF]

, 2011
Mechanical product engineering is a research and industrial activity which studies the design of complex mechanical systems. The process, which involves the collaboration of various experts using domain-specific software, raises syntactic and semantic interoperability issues which are not addressed by existing software solutions or their underlying ...
Iraqi, Mehdi, Kleiner, Mathias, Roucoules, Lionel   +2 more
openaire   +3 more sources

Integration of a Model Predictive Control with a Fast Energy Management Strategy for a Hybrid Powertrain of a Connected and Automated Vehicle

World Electric Vehicle Journal, 2021
In the years to come, Connected and Automated Vehicles (CAVs) are expected to substantially improve the road safety and environmental impact of the road transport sector.
Enrico Landolfi, Francesco Junior Minervini, Nicola Minervini, Vincenzo De Bellis, Enrica Malfi, Ciro Natale   +5 more
doaj   +1 more source

UI-Design driven model-based testing [PDF]

, 2009
Testing interactive systems is notoriously difficult. Not only do we need to ensure that the functionality of the developed system is correct with respect to the requirements and specifications, we also need to ensure that the user interface to the ...
Gabriele Taentzer, Judy Bowen, Judy Bowen, Julia Padberg, Michael Harrison, Mieke Massink, Steve Reeves, Steve Reeves, Tiziana Margaria   +8 more
core   +4 more sources

Contraction model of skeletal muscle capable of tetanus and incomplete tetanus for design and control of biohybrid actuators

Journal of Biomechanical Science and Engineering, 2022
In addition to the characteristics of soft actuators, such as flexibility and elasticity, biohybrid actuators also exhibit few distinctive functions, such as self-growth and self-healing.
Wataru HIJIKATA, Mutsuki HAGIWARA, Takumi MOCHIDA, Wataru SUGIMOTO   +3 more
doaj   +1 more source

Feasibility Assessment of a Dual Intake-Port Scroll Expander Operating in an ORC-Based Power Unit

Energies, 2022
The main driver of research in the road transportation sector is almost certainly the development of technologies which allow for the reduction of CO2 emissions from internal combustion engines (ICEs). Wasted heat recovery (WHR) from the exhaust gases of
Fabio Fatigati, Giammarco Di Giovine, Roberto Cipollone   +2 more
doaj   +1 more source

Automated Firmware Generation for Compressive Sensing on Heterogeneous Hardware

Sensors, 2022
In this paper, a model-based firmware generator is presented towards complex sampling schemes. The framework is capable of automatically generating a fixed-rate Shannon-compliant acquisition scheme, as well as a variable-rate compressive sensing ...
Rens Baeyens, Joachim Denil, Jan Steckel, Dennis Laurijssen, Walter Daems   +4 more
doaj   +1 more source

Requirements for Model-Based Development Process Design and Compliance of Standardized Models

Systems, 2021
The planning of system development efforts is crucial to the successful realization of projects. However, development planning typically lacks systematic, engineering discipline, and consequently risks project and business success.
Avi Shaked, Yoram Reich
doaj   +1 more source

Design automation with the characteristics properties model and the property driven design for redesign [PDF]

, 2015
This paper presents a framework consisting of a mathematical model and an algorithm for representation, analysis and exploration of the design space in redesign problems.
BLESSING, Lucienne, DANTAN, Jean-Yves, EISENBART, Boris, QURESHI, Ahmed Jawad   +3 more
core   +3 more sources