Representation of the Operational Behaviour of an Educational Robot at Conceptual Design Using Petri Nets

2010 ◽  
Author(s):  
Zu¨hal Erden
Keyword(s):  
Conceptual Design ◽  
Design Research ◽  
Discrete Event ◽  
Computational Design ◽  
State Transitions ◽  
System Specification ◽  
Mechatronic Systems ◽  
Educational Robot ◽  
Concrete Operational ◽  
Operational Behaviour

Increasing demand for computational support at conceptual design makes behavioural modeling a challenging area for design research. This is mainly because a behavioural model of a nonexistent design artifact at conceptual level is the basis for behavioural simulation and resulting computational design support. Behavioural models are particularly important for top-down design of multidisciplinary products such as mechatronic systems. During the conceptual design of such systems, intended “operational behavior” of the artifact is described without any physical realization. As design stages become more concrete, operational behaviour can be refined so as to represent well defined mathematical descriptions of corresponding physical behaviors. In this study, a model for representing the intended operational behaviour of a nonexistent educational robot, namely a rabbit robot, is presented for conceptual design. The operational behaviour of the robot is defined as composed of states and state transitions independent of any physical embodiment. Discrete Event System Specification (DEVS) and Petri Net formalism are used for the model. This representational model is the first step towards the development of a virtual prototype for the operational behaviour of an educational robot.

scholarly journals multiPDEVS: A Parallel Multicomponent System Specification Formalism

Complexity ◽  
2018 ◽  
Vol 2018 ◽  
pp. 1-19 ◽  
Author(s):  
Damien Foures ◽  
Romain Franceschini ◽  
Paul-Antoine Bisgambiglia ◽  
Bernard P. Zeigler
Keyword(s):  
Cellular Automata ◽  
Discrete Event ◽  
Multicomponent System ◽  
Fire Spread ◽  
Atomic Model ◽  
State Transitions ◽  
System Specification ◽  
Discrete Event System Specification ◽  
Simulation Procedure ◽  
Event System

Based on multiDEVS formalism, we introduce multiPDEVS, a parallel and nonmodular formalism for discrete event system specification. This formalism provides combined advantages of PDEVS and multiDEVS approaches, such as excellent simulation capabilities for simultaneously scheduled events and components able to influence each other using exclusively their state transitions. We next show the soundness of the formalism by giving a construction showing that any multiPDEVS model is equivalent to a PDEVS atomic model. We then present the simulation procedure associated, usually called abstract simulator. As a well-adapted formalism to express cellular automata, we finally propose to compare an implementation of multiPDEVS formalism with a more classical Cell-DEVS implementation through a fire spread application.

Practical aspects of the DesignDEVS simulation environment

SIMULATION ◽  
2017 ◽  
Vol 94 (4) ◽  
pp. 301-326 ◽  
Author(s):  
Rhys Goldstein ◽  
Simon Breslav ◽  
Azam Khan
Keyword(s):  
Systems Engineering ◽  
Best Practice ◽  
Discrete Event ◽  
State Transitions ◽  
System Specification ◽  
Development Environment ◽  
Simulation Tools ◽  
Model Code ◽  
Strict Enforcement ◽  
Devs Formalism

DesignDEVS is a simulation development environment based on the Discrete Event System Specification (DEVS) formalism. This paper provides an in-depth overview of the software while focusing on the practical considerations influencing its design. Practitioners who stand to benefit from systems engineering will approach formalism-based simulation tools with little knowledge of the underlying theory. It is therefore important that theoretical principles, such as the separation of model and simulator, be emphasized by the user interface. Other practical aspects of DesignDEVS include the simplicity of atomic model code, a focus on coupling for collaboration purposes, the enforcement of essential modeling constraints, and a reliance on best practices in cases where strict enforcement might inconvenience users. In DesignDEVS, an issue we refer to as the Insidious Pointer Problem is aggressively tackled through run-time error handling. By contrast, the separation of output values from state transitions is left as a best practice for the sake of user convenience. The design decisions explained in this paper are relevant to developers of other formalism-based tools seeking widespread adoption of scalable modeling and simulation practices.

scholarly journals Specification of dynamic structure discrete event systems using single point encapsulated control functions

2014 ◽  
Vol 05 (03) ◽  
pp. 1450012 ◽  
Author(s):  
Alexandre Muzy ◽  
Bernard P. Zeigler
Keyword(s):  
Discrete Event Systems ◽  
Single Point ◽  
Discrete Event ◽  
Dynamic Structure ◽  
System Specification ◽  
Discrete Event System Specification ◽  
Usual Definition ◽  
Control Functions ◽  
Event System ◽  
Structure Changes

In Discrete Event System Specification (DEVS), the dynamics of a network is constituted only by the dynamics of its basic components. The state of each component is fully encapsulated. Control in the network is fully decentralized to each component. At dynamic structure level, DEVS should permit the same level of decentralization. However, it is hard to ensure structure consistency while letting all components achieve structure changes. Besides, this solution can be complex to implement. To avoid these difficulties, usual dynamic structure approaches ensure structure consistency allowing structure changes to be done only by the network having newly added dynamics change capabilities. This is a safe and simple way to achieve dynamic structure. However, it should be possible to simply allow components of a network to modify the structure of their network, other components and/or their own structure — without having to modify the usual definition a DEVS network. In this manuscript, it is shown that a simple fully decentralized approach is possible while ensuring full modularity and structure consistency.

A simulation-driven online scheduling algorithm for the maintenance and operation of wind farm systems

SIMULATION ◽  
2021 ◽  
pp. 003754972110286
Author(s):  
Eduardo Pérez
Keyword(s):  
Wind Turbines ◽  
Wind Farm ◽  
Computational Study ◽  
Scheduling Algorithm ◽  
Discrete Event ◽  
Wind Farms ◽  
Online Scheduling ◽  
Maintenance Scheduling ◽  
Lead Times ◽  
System Specification

Wind turbines experience stochastic loading due to seasonal variations in wind speed and direction. These harsh operational conditions lead to failures of wind turbines, which are difficult to predict. Consequently, it is challenging to schedule maintenance actions that will avoid failures. In this article, a simulation-driven online maintenance scheduling algorithm for wind farm operational planning is derived. Online scheduling is a suitable framework for this problem since it integrates data that evolve over time into the maintenance scheduling decisions. The computational study presented in this article compares the performance of the simulation-driven online scheduling algorithm against two benchmark algorithms commonly used in practice: scheduled maintenance and condition-based monitoring maintenance. An existing discrete event system specification simulation model was used to test and study the benefits of the proposed algorithm. The computational study demonstrates the importance of avoiding over-simplistic assumptions when making maintenance decisions for wind farms. For instance, most literature assumes maintenance lead times are constant. The computational results show that allowing lead times to be adjusted in an online fashion improves the performance of wind farm operations in terms of the number of turbine failures, availability capacity, and power generation.

scholarly journals Research on conceptual design of mechatronic systems

Sadhana ◽  
2006 ◽  
Vol 31 (6) ◽  
pp. 661-669 ◽  
Author(s):  
Yong Xu ◽  
Huijun Zou ◽  
Ruiqin Li
Keyword(s):  
Conceptual Design ◽  
Mechatronic Systems

A Computational Product Model for Conceptual Design Using SysML

2009 ◽  
Author(s):  
Stefan Wo¨lkl ◽  
Kristina Shea
Keyword(s):  
Product Development ◽  
Conceptual Design ◽  
Mechanical Design ◽  
System Development ◽  
Concept Design ◽  
Product Modeling ◽  
Product Model ◽  
Mechatronic Systems ◽  
Starting Point

The importance of the concept development phase in product development is contradictory to the level and amount of current computer-based support for it, especially with regards to mechanical design. Paper-based methods for conceptual design offer a far greater level of maturity and familiarity than current computational methods. Engineers usually work with software designed to address only a single stage of the concept design phase, such as requirements management tools. Integration with software covering other stages, e.g. functional modeling, is generally poor. Using the requirements for concept models outlined in the VDI 2221 guideline for systematic product development as a starting point, the authors propose an integrated product model constructed using the Systems Modeling Language (SysML) that moves beyond geometry to integrate all necessary aspects for conceptual design. These include requirements, functions and function structures, working principles and their structures as well as physical effects. In order to explore the applicability of SysML for mechanical design, a case study on the design of a passenger car’s luggage compartment cover is presented. The case study shows that many different SysML diagram types are suitable for formal modeling in mechanical concept design, though they were originally defined for software and control system development. It is then proposed that the creation and use of libraries defining generic as well as more complicated templates raises efficiency in modeling. The use of diagrams and their semantics for conceptual modeling make SysML a strong candidate for integrated product modeling of mechanical as well as mechatronic systems.

scholarly journals Physical parametrisation of fire-spotting for operational fire spread models: response analysis with a model based on the Level Set Method

2018 ◽  
Author(s):  
Inderpreet Kaur ◽  
Anton Butenko ◽  
Gianni Pagnini
Keyword(s):  
Level Set Method ◽  
Level Set ◽  
Discrete Event ◽  
Fire Spread ◽  
Response Analysis ◽  
System Specification ◽  
Time Step ◽  
Processing Scheme ◽  
Model Based ◽  
The Many

Abstract. Fire-spotting is often responsible for a dangerous flare up in the wildfire and causes secondary ignitions isolated from the primary fire zone leading to perilous situations. In this paper a complete physical parametrisation of fire-spotting is presented within a formulation aimed to include random processes into operational fire spread models. This formulation can be implemented into existing operational models as a post-processing scheme at each time step, without calling for any major changes in the original framework. In particular, the efficacy of this formulation has already been shown for wildfire simulators based on an Eulerian moving interface method, namely the Level Set Method (LSM) that forms the baseline of the operational software WRF-SFIRE, and for wildfire simulators based on a Lagrangian front tracking technique, namely the Discrete Event System Specification (DEVS) that forms the baseline of the operational software FOREFIRE. The simple and computationally less expensive parametrisation includes the important parameters necessary for describing the landing behavior of the firebrands. The results from different simulations with a simple model based on the LSM highlight the response of the parametrisation to varying fire intensities, wind conditions and different firebrand radii. The contribution of the firebrands towards increasing the fire perimeter varies according to different concurrent conditions and the simulation results prove to be in agreement with the physical processes. Among the many rigorous approaches available in literature to model the firebrand transport and distribution, the approach presented here proves to be simple yet versatile for application to operational fire spread models.

scholarly journals A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes

2020 ◽  
Vol 44 (2) ◽  
pp. 257-273
Author(s):  
Sofiane Boukelkoul ◽  
Ramdane Maamri
Keyword(s):  
Business Processes ◽  
Discrete Event ◽  
Dynamic Structure ◽  
Discrete Event System ◽  
Structural Constraints ◽  
System Specification ◽  
Discrete Event System Specification ◽  
Event System ◽  
Proposed Model ◽  
Structure Properties

This paper presents a DSDEVS-based model “Dynamic Structure Discrete Event System specification” for modeling and simulating business processes with dynamic structure regarding to different contexts. Consequently, this model, formally, improves the reuse of configurable business processes. Thus, the proposed model allows the analysts to personalize their configurable business processes in a sound manner by verifying a set of structure properties, such as, the lack of synchronization and the deadlock by means of simulation. The implementation was done in DEVS-Suite simulator, which is based on DEVSJAVA models.

Sign in / Sign up

Export Citation Format

Share Document