Filters








145,410 Hits in 7.6 sec

Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment

E.-J. Manders, G. Biswas, N. Mahadevan, G. Karsai
Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06)  
This paper presents a component oriented modeling environment for building hybrid dynamic models of physical system.  ...  The modeling environment is created using the Generic Modeling Environment (GME), a metaprogrammable visual modeling application developed at the Institute for Software Integrated Systems (ISIS).  ...  Acknowledgments This work was supported in part through grants from the NASA-ALS program (Contract number: NCC 9-159) and The Boeing Company.  ... 
doi:10.1109/mbd-mompes.2006.6 dblp:conf/mompes/MandersBMK06 fatcat:d6aujuzzhzd2dhcslt7ejtkez4

Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X

Paula Herber, Julius Adelt, Timm Liebrenz
2021 Software Engineering  
To support deductive formal verification, we propose to use and extend our existing framework for the service-oriented verification of hybrid systems that are modeled in Simulink.  ...  The framework enables the automated transformation of Simulink models or services into differential dynamic logic and formal verification with the interactive theorem prover KeYmaera X.  ...  To support deductive formal verification, we propose to use and extend our existing framework for the service-oriented verification of hybrid systems that are modeled in Simulink [LHG18, LHG19] with  ... 
dblp:conf/se/HerberAL21 fatcat:jparfx5ywbe73pbzzgwlcvcbvy

Open Innovation Model of Student's Research Activities

Svetlana N. Dvoryatkina, Larisa V. Zhuk, Evgeniy I. Smirnov, Anastasia V. Khizhnyak, Sergey V. Shcherbatykh
2021 Journal of Teacher Education for Sustainability  
It advances a general approach to the design of the structure and implementation of main components of hybrid intelligent system to integrating a production-frame model of knowledge and neural network  ...  As a technological core, it uses a hybrid system of interaction between an artificial neural network and an expert system functioning based on a database of research projects.  ...  Acknowledgments The research was founded by  ... 
doi:10.2478/jtes-2021-0018 fatcat:etlh6cg7qzadda7247x4xabu7a

TOPOS: A Prototyping-Oriented Open CASE System [chapter]

R. Plösch, H. Rumerstorfer, R. Weinreich
1993 Berichte des German Chapter of the ACM  
We present the principles of an approach model for the prototyping-oriented development process of software systems.  ...  The overall structure of our open CASE system, called TOPOS (an acronym for TOolset for Prototyping-Oriented Software development), and the tools for user interface prototyping and architecture and component  ...  We are currently applying the prototyping-oriented software life cycle model to the area of distributed automation systems.  ... 
doi:10.1007/978-3-322-94703-1_15 fatcat:pknkkvmygjfplmfja7urllcs7i

Simulating Cyber-Physical Energy Systems: Challenges, Tools and Methods

Peter Palensky, Edmund Widl, Atiyah Elsheikh
2014 IEEE Transactions on Systems, Man & Cybernetics. Systems  
Using a characteristic test model, the scalability of the two approaches is analyzed.  ...  However, the diverse nature of these components, their interlinked topology, and the sheer size of the system lead to an unprecedented level of complexity.  ...  The topology of the test model is shown in Figs. 1 and 2. The image syntax is oriented toward hybrid bond graphs.  ... 
doi:10.1109/tsmcc.2013.2265739 fatcat:frta3ohgbvebtiknpeu6hibdle

Didactic model of development of research activities of schoolchildren in a hybrid intellectual learning environment

Svetlana N. Dvoryatkina, Bunin Yelets State University, Larisa V. Zhuk, Eugeny I. Smirnov, Sergey V. Shcherbatykh, Bunin Yelets State University, Yaroslavl State Pedagogical University named after K. D. Ushinsky, Bunin Yelets State University
2021 Perspectives of science and education  
students' research activities based on the developed principles and structural components using expert systems and fuzzy modeling.  ...  in the direction of building individual educational trajectories of schoolchildren using hybrid neural networks that make up the content component of the research activity development model.  ...  Acknowledgments The research was founded by RFFI Project № 19-29-14009  ... 
doi:10.32744/pse.2021.2.19 fatcat:fvvtkcjbejb7tiyf3q3dqpocne

Analytical Survey of Construction Change Systems: Gaps & Opportunities

Ehsan Eshtehardian, Saeed Khodaverdi
2016 Procedia Engineering  
The findings show that leaping from best practice guides in late 1990s and generic process models in early 2000s to very advanced modelling environments in mid 2000s and early 2010s have made gaps along  ...  This paper surveys the studies on construction change systems and reveals some of the potential future works. It is tried to pick up the critical works to derive a true timeline of the systems.  ...  From the early 2000s onwards there has been an emergent progress of change management systems (CMSs) starting from generic process models to very sophisticated modelling environments specifically using  ... 
doi:10.1016/j.proeng.2016.08.686 fatcat:zgx5zv5kmbdbnpw6r2q3wqiuci

Systematic modeling and symbolically assisted simulation of power systems

I.A. Hiskens, P.J. Sokolowski
2001 IEEE Transactions on Power Systems  
The paper presents a practical object-oriented approach to implementing the DSAR model. Each component of a system can be modeled autonomously.  ...  Connections between components are established by simple algebraic equations. Simulation of the model using numerically robust implicit integration requires the generation of partial derivatives.  ...  Fresh systematic approaches to the simulation of hybrid systems are under development [1] . This paper establishes benefits of symbolic differentiation in an object-oriented simulation environment.  ... 
doi:10.1109/59.918291 fatcat:7av4ehdlkvhqfgews2w575govy

Model-driven provisioning of application services in hybrid computing environments

Rajiv Ranjan, Rajkumar Buyya, Surya Nepal
2013 Future generations computer systems  
Editorial Model-driven provisioning of application services in hybrid computing environments ✩ Surya Nepal is a Principal Research Scientist at CSIRO ICT Centre, Australia.  ...  He has published several journal and conference papers in the areas of multimedia databases, web services and service-oriented architectures, and security, privacy and trust in collaborative environment  ...  The diversity and flexibility of the IT functionalities (dynamically shrinking and growing computing systems) offered by the evolving hybrid environments, combined with the magnitudes and uncertainties  ... 
doi:10.1016/j.future.2013.01.007 fatcat:bbhqjxdbcjclbphqb4wsja45q4

Systematic Modeling and Symbolically Assisted Simulation of Power Systems

I. A. Hiskens, P. J. Sokolowski
2001 IEEE Power Engineering Review  
The paper presents a practical object-oriented approach to implementing the DSAR model. Each component of a system can be modeled autonomously.  ...  Connections between components are established by simple algebraic equations. Simulation of the model using numerically robust implicit integration requires the generation of partial derivatives.  ...  Fresh systematic approaches to the simulation of hybrid systems are under development [1] . This paper establishes benefits of symbolic differentiation in an object-oriented simulation environment.  ... 
doi:10.1109/mper.2001.4311383 fatcat:xfwt7phuz5e7tas3v2rtnwnhoq

Object-Oriented Description of Hybrid Dynamic Systems of Variable Structure

Alfonso Urquia, Sebastian Dormido
2003 Simulation (San Diego, Calif.)  
Existing object-oriented modeling environments only support the simulation of a limited type of hybrid dynamic models of variable structure: those with exactly the same state variables and the same algebraic  ...  A new algorithm, which transforms such a general variable-structure model into a model suitable for simulation by means of existing object-oriented modeling languages of hybrid systems, is proposed.  ...  Dymola (Dynamic Modeling Laboratory) [7, 10] was the first modeling language on the market designed to allow the object-oriented description of hybrid models of large and complex systems [11] .  ... 
doi:10.1177/003759703038882 fatcat:73stunmxoreulb2ytid6fr62oi

Physical Modelling in MvStudium

Yuri Kolesov, Yuri Senichenkov
2012 SNE Simulation Notes Europe  
In this paper, we describe "physical" modeling technology in MvStudium that is a graphical environment for modeling and simulation of complex dynamic systems.  ...  MvStudium compiler automatically builds an executable model. It may run under the environment or it may be built in the form of DLL and used even in real-time applications.  ...  General Graphical environment MvStudium.6 [1, 2, 3] for modeling (Model Editor) and simulation (Virtual Test Bench) of complex dynamical systems is based on formalism of open hybrid automata or Behavior-Charts  ... 
doi:10.11128/sne.22.sw.10155 fatcat:x7nd5coi5rdqxgn7fi7rvjq6je

Reconfiguration through a component oriented hybrid architecture

Ahmed Guadri, Nathalie Dangoumau, Etienne Craye
2008 2008 American Control Conference  
In this article, we present a new methodology for the reconfiguration of a hybrid system that relies on componentoriented hybrid architecture.  ...  This architecture is applied in the case of a system of communicating tanks.  ...  The global system architecture This architecture relies in a component oriented beavioral model, where each component dynamics are described through a variant of hybrid behavior automaton and fault automaton  ... 
doi:10.1109/acc.2008.4587176 dblp:conf/amcc/GuadriDC08 fatcat:3c2epsntqretlgpdfsqoxmrtba

Performance Evaluation on Cyber-Physical Systems

Allan Edgard Silva Freitas, Romildo Martins da Silva Bezerra
2016 ICIC Express Letters  
Combining such very distinct kind of components, with distinct quality of services, CPS can be modeled as a hybrid and dynamic distributed system.  ...  These physical processes impose to sensors and actuators a time behavior completely different of the one of the conventional computer nodes.  ...  Several distributed system models may be used to represent models with dynamic or hybrid QoS behavior [4, 5] , allowing to be possible to use the advantage of available synchronous behavior, even there  ... 
doi:10.24507/icicel.10.02.263 fatcat:37hdbb7jsbentfioasfmzj4tmm

Research on Building Mechanism of System for Intelligent Service Mobile Robot [chapter]

Xie Wei, Ma Jiachen, Yang Mingli
2011 Mobile Robots - Control Architectures, Bio-Interfacing, Navigation, Multi Robot Motion Planning and Operator Training  
They mainly include two views of "constructing a model-computer or robot" and "abstract general principles from the model".  ...  As for seeking for general architecture, many scholars tend to explore a common system reference model to reduce the duplication of design process.  ...  Acknowledgment The authors wish to thank the helpful comments and suggestions from our teachers and colleagues in intelligent detection and control lab of HIT at Weihai.  ... 
doi:10.5772/26256 fatcat:utq2kid3gjav3kjiiajjcrrcvi
« Previous Showing results 1 — 15 out of 145,410 results