A Simulation Approach to Solve Power System Transmission Problems

The cost of electricity is an indicator of a country´s level of development. This industry involves billions of dollars. Hence, the operation of Electric Power Systems constitutes a real problem that consists of a set of stages related to distinct components. In this paper, we propose a novel simulation model to study the state of transmission line systems due to scheduled and unscheduled maintenances. The simulation model is founded in an extension of the Discrete Event System Specification formalism called Routed DEVS. The transmission line system is modeled with a set of discrete-event simulation models that provide a complete state description of components. Such a simulation model can be adapted to describe any transmission line system through a network topology. A case study is presented with aims to show who the simulation works. Our proposal is the starting point to study real-life operations of Electric Power Systems from generation to transmission stages.Fil: Blas, María Julia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Desarrollo y Diseño. Universidad Tecnológica Nacional. Facultad Regional Santa Fe. Instituto de Desarrollo y Diseño; ArgentinaFil: Alvarez, Gonzalo Exequiel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Desarrollo y Diseño. Universidad Tecnológica Nacional. Facultad Regional Santa Fe. Instituto de Desarrollo y Diseño; Argentin

Second Generation General System Theory: Perspectives in Philosophy and Approaches in Complex Systems

Following the classical work of Norbert Wiener, Ross Ashby, Ludwig von Bertalanffy and many others, the concept of System has been elaborated in different disciplinary fields, allowing interdisciplinary approaches in areas such as Physics, Biology, Chemistry, Cognitive Science, Economics, Engineering, Social Sciences, Mathematics, Medicine, Artificial Intelligence, and Philosophy. The new challenge of Complexity and Emergence has made the concept of System even more relevant to the study of problems with high contextuality. This Special Issue focuses on the nature of new problems arising from the study and modelling of complexity, their eventual common aspects, properties and approaches—already partially considered by different disciplines—as well as focusing on new, possibly unitary, theoretical frameworks. This Special Issue aims to introduce fresh impetus into systems research when the possible detection and correction of mistakes require the development of new knowledge. This book contains contributions presenting new approaches and results, problems and proposals. The context is an interdisciplinary framework dealing, in order, with electronic engineering problems; the problem of the observer; transdisciplinarity; problems of organised complexity; theoretical incompleteness; design of digital systems in a user-centred way; reaction networks as a framework for systems modelling; emergence of a stable system in reaction networks; emergence at the fundamental systems level; behavioural realization of memoryless functions

The DEVStone Metric: Performance Analysis of DEVS Simulation Engines

The DEVStone benchmark allows us to evaluate the performance of discrete-event simulators based on the DEVS formalism. It provides model sets with different characteristics, enabling the analysis of specific issues of simulation engines. However, this heterogeneity hinders the comparison of the results among studies, as the results obtained on each research work depend on the chosen subset of DEVStone models. We define the DEVStone metric based on the DEVStone synthetic benchmark and provide a mechanism for specifying objective ratings for DEVS-based simulators. This metric corresponds to the average number of times that a simulator can execute a selection of 12 DEVStone models in one minute. The variety of the chosen models ensures we measure different particularities provided by DEVStone. The proposed metric allows us to compare various simulators and to assess the impact of new features on their performance. We use the DEVStone metric to compare some popular DEVS-based simulators

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners

Advanced modelling and simulation of water distribution systems with discontinuous control elements

Water distribution systems are large and complex structures. Hence, their construction, management and improvements are time consuming and expensive. But nearly all the optimisation methods, whether aimed at design or operation, suffer from the need for simulation models necessary to evaluate the performance of solutions to the problem. These simulation models, however, are increasing in size and complexity, and especially for operational control purposes, where there is a need to regularly update the control strategy to account for the fluctuations in demands, the combination of a hydraulic simulation model and optimisation is likely to be computationally excessive for all but the simplest of networks. The work presented in this thesis has been motivated by the need for reduced, whilst at the same time appropriately accurate, models to replicate the complex and nonlinear nature of water distribution systems in order to optimise their operation. This thesis attempts to establish the ground rules to form an underpinning basis for the formulation and subsequent evaluation of such models. Part I of this thesis introduces some of the modelling, simulation and optimisation problems currently faced by water industry. A case study is given to emphasise one particular subject, namely reduction of water distribution system models. A systematic research resulted in development of a new methodology which encapsulate not only the system mass balance but also the system energy distribution within the model reduction process. The methodology incorporates the energy audits concepts into the model reduction algorithm allowing the preservation of the original model energy distribution by imposing new pressure constraints in the reduced model. The appropriateness of the new methodology is illustrated on the theoretical and industrial case studies. Outcomes from these studies demonstrate that the new extension to the model reduction technique can simplify the inherent complexity of water networks while preserving the completeness of original information. An underlying premise which forms a common thread running through the thesis, linking Parts I and II, is in recognition of the need for the more efficient paradigm to model and simulate water networks; effectively accounting for the discontinuous behaviour exhibited by water network components. Motivated largely by the potential of contemplating a new paradigm to water distribution system modelling and simulation, a further major research area, which forms the basis of Part II, leads to a study of the discrete event specification formalism and quantised state systems to formulate a framework within which water distribution systems can be modelled and simulated. In contrast to the classic time-slicing simulators, depending on the numerical integration algorithms, the quantisation of system states would allow accounting for the discontinuities exhibited by control elements in a more efficient manner, and thereby, offer a significant increase in speed of the simulation of water network models. The proposed approach is evaluated on a number of case studies and compared with results obtained from the Epanet2 simulator and OpenModelica. Although the current state-of-art of the simulation tools utilising the quantised state systems do not allow to fully exploit their potential, the results from comparison demonstrate that, if the second or third order quantised-based integrations are used, the quantised state systems approach can outperform the conventional water network simulation methods in terms of simulation accuracy and run-time

A Framework for Executable Systems Modeling

Systems Modeling Language (SysML), like its parent language, the Unified Modeling Language (UML), consists of a number of independently derived model languages (i.e. state charts, activity models etc.) which have been co-opted into a single modeling framework. This, together with the lack of an overarching meta-model that supports uniform semantics across the various diagram types, has resulted in a large unwieldy and informal language schema. Additionally, SysML does not offer a built in framework for managing time and the scheduling of time based events in a simulation. In response to these challenges, a number of auxiliary standards have been offered by the Object Management Group (OMG); most pertinent here are the foundational UML subset (fUML), Action language for fUML (Alf), and the UML profile for Modeling and Analysis of Real Time and Embedded Systems (MARTE). However, there remains a lack of a similar treatment of SysML tailored towards precise and formal modeling in the systems engineering domain. This work addresses this gap by offering refined semantics for SysML akin to fUML and MARTE standards, aimed at primarily supporting the development of time based simulation models typically applied for model verification and validation in systems engineering. The result of this work offers an Executable Systems Modeling Language (ESysML) and a prototype modeling tool that serves as an implementation test bed for the ESysML language. Additionally a model development process is offered to guide user appropriation of the provided framework for model building

Generation of mathematical programming representations for discrete event simulation models of timed petri nets

This work proposes a mathematical programming (MP) representation of discrete event simulation of timed Petri nets (TPN). Currently, mathematical programming techniques are not widely applied to optimize discrete event systems due to the difficulty of formulating models capable to correctly represent the system dynamics. This work connects the two fruitful research fields, i.e., mathematical programming and Timed Petri Nets. In the MP formalism, the decision variables of the model correspond to the transition firing times and the markings of the TPN, whereas the constraints represent the state transition logic and temporal sequences among events. The MP model and a simulation run of the TPN are then totally equivalent, and this equivalence has been validated through an application in the queuing network field. Using a TPN model as input, the MP model can be routinely generated and used as a white box for further tasks such as sensitivity analysis, cut generation in optimization procedures, and proof of formal properties

IJMSSC

DEVS is a sound Modeling and Simulation (M&S) framework that describes a model in a modular and hierarchical way. It comes along with an abstract simulation algorithm which defines its operational semantics. Many variants of such an algorithm have been proposed by DEVS researchers. Yet, the proper interpretation and analysis of the computational complexity of such approaches have not been systematically addressed and defined. As systems become larger and more complex, the efficiency of the DEVS simulation algorithms in terms of time complexity measure becomes a major issue. Therefore, it is necessary to devise a method for computing this complexity. This paper proposes a generic method to address such an issue, taking advantage of the recursion embedded in the triggered-by-message principle of the DEVS simulation protocol. The applicability of the method is shown through the complexity analysis of various DEVS simulation algorithms