39,033 Hits in 4.4 sec

Implementation of multilinear look-up tables as surrogate models for the ethyl transesterification reactor in equation-oriented simulator EMSO

Christian De Oliveira Martins, Felipe Fernando Furlan, Roberto De Campos Giordano
2020 The Journal of Engineering and Exact Sciences  
The techno-economic analysis of chemical processes is usually based on steady state simulations.  ...  When dynamic processes are present, simplified or surrogate models are used to avoid the dynamic simulation of the overall system.  ...  The techno-economic analysis of chemical processes is usually based on steady state simulations.  ... 
doi:10.18540/jcecvl6iss4pp0467-0473 fatcat:6wfrjgux5zfnlhst5ggzgn2uj4

Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment

Adam Duracz, Henrik Eriksson, Ferenc A. Bartha, Fei Xu, Yingfu Zeng, Walid Taha
2015 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems  
Rigorous simulation is a new technology that can play a key role in managing uncertainty in the design of safetycritical cyber-physical systems.  ...  Here we report on advances in our implementation of rigorous simulation and show how they enable the rigorous simulation of more refined and more complete models.  ...  support of this work.  ... 
doi:10.1109/hpcc-css-icess.2015.296 dblp:conf/hpcc/DuraczEBXZT15 fatcat:cuaaaq6bxnakfjoji4jvmnu64u

Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491)

Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani, Marc Herbstritt
2017 Dagstuhl Reports  
the following research areas relevant to problem solving in cyber-physical domains: verification of numerical reactive systems such as embedded floating-point programs and hybrid systems, including novel  ...  This combination of up to now only loosely coupled areas shed light on how advanced numerical methods can help improve the state of the art in rigorously interpreting and controlling cyber-physical phenomena  ...  Rigorous Simulation To address these problems, we are developing a technology called "rigorous simulation".  ... 
doi:10.4230/dagrep.6.12.1 dblp:journals/dagstuhl-reports/BogomolovFMR16 fatcat:sydj4slvefa7boehai7gpnfupm

Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 [chapter]

Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala
2016 Lecture Notes in Computer Science  
C2E2 is a bounded reachability analysis tool for nonlinear dynamical systems and hybrid automaton models.  ...  In this paper, we discuss these and other new features that make the new C2E2 a usable tool for bounded reachability analysis of hybrid systems.  ...  STRONG [7] is a MATLAB toolbox for analysis of linear hybrid systems and it uses a Lyapunov function-based approach.  ... 
doi:10.1007/978-3-319-41528-4_29 fatcat:xd47ogvh5zexzlzmbstpzdg36m

Reachability Analysis of Hybrid Systemsan Experience Report

Manish Goyal
2012 International Journal of Modeling and Optimization  
In practice, a rigorous tool is still not available for verifying every class of hybrid systems.  ...  In all the examples, the approximation of nonlinear systems by linear systems is performed by the rate translation.  ...  HyTech was the first reachability analysis tool developed by Henzinger et al. [2] for linear hybrid systems.  ... 
doi:10.7763/ijmo.2012.v2.209 fatcat:etjri2abrvhqnltbmxvjfcnp2e

Rogue seasonality in supply chains: an investigation and a measurement approach

Vinaya Shukla, Mohamed M Naim
2015 Journal of Manufacturing Technology Management  
such as non-linearities from backlogs and batching, hybrid make to order-make to stock ordering system and the shipment variable.  ...  Design/methodology/approach -Frequency domain analysis of single echelon and simulated four echelon Beer game system outputs are used in the investigation, with the simulation incorporating realistic features  ...  While a linear system was used in the control theory based analysis, the simulated Beer game systems included order backlogs, batching in ordering and shipping, variants of hybrid make to order-make to  ... 
doi:10.1108/jmtm-09-2013-0118 fatcat:ezkcxgfm75gyjh4eop4itjwr3i

Accurate rigorous simulation should be possible for good designs

Adam Duracz, Ferenc A. Bartha, Walid Taha
2016 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)  
The development of Cyber-Physical Systems benefits from better methods and tools to support the simulation and verification of hybrid (continuous/discrete) models.  ...  Like verification tools, rigorous simulation is intended to provide guarantees about the behavior of the system.  ...  Amin Farjudian, Mark Stephens, and Masoumeh Taromirad provided valuables comments on a draft of this paper.  ... 
doi:10.1109/snr.2016.7479376 fatcat:cklyb26rmzbfnoktdswjeh6gai

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks [chapter]

Patrick Lincoln, Ashish Tiwari
2004 Lecture Notes in Computer Science  
Once a hybrid model is obtained, analysis techniques such as those described in this and previous HSCC workshops can be usefully applied to help uncover structure in the dynamics of biological systems  ...  We describe the modeling and analysis of dynamic and reactive biological systems involving both discrete and continuous behaviors, to help begin to answer that question.  ...  Hybrid systems provide a rigorous foundation for modeling biological systems at desired levels of abstraction, approximation, and simplification.  ... 
doi:10.1007/978-3-540-24743-2_44 fatcat:pqfbfdg6w5fovduskcale2vdju


Nicola Cannata, Emanuela Merelli, Irek Ulidowski
2010 Theoretical Computer Science  
The major contribution of the paper by Ballarini and Guerriero is the definition of a query-based verification approach for the analysis of stochastic models of biochemical systems.  ...  means of dedicated Linear Time Logic queries.  ...  Grzegorz Rozenberg, editor-in-chief of TCS-C, for agreeing to publish this special issue. Support from the University of Camerino and the University of Leicester are also gratefully acknowledged.  ... 
doi:10.1016/j.tcs.2010.02.019 fatcat:k654nt6f5zbzhm7ukpin3uqiri

Improving ℒ 2 Gain Performance of Linear Systems by Reset Control

Guanglei Zhao, Dragan Nesic, Ying Tan, Jingcheng Wang
2014 IFAC Proceedings Volumes  
In this paper, new Lyapunov-based reset rules are constructed to improve L 2 gain performance of linear-time-invariant (LTI) systems.  ...  It is shown that the L 2 gain of the closed loop system with resets can be improved compared with the base system. Numerical example supports our results.  ...  This grant is supporting the first author to visit the Department of Electrical and Electronic Engineering, The University of Melbourne for one year.  ... 
doi:10.3182/20140824-6-za-1003.02628 fatcat:z32vppatofh2jdskowwkdpousi

A Review on AI Control of Reactive Distillation for Various Applications [chapter]

Vandana Sakhre
2020 Wastewater Treatment [Working Title]  
The review of literature in different dimensions is carried out to explore the opportunities in the field of research work.  ...  In this chapter, previous studies on reactive distillation process control including control using conventional as well as soft sensor control, membrane assisted reactive distillation design and simulation  ...  Academy of Higher Education, Dubai campuses to carry out extensive research work.  ... 
doi:10.5772/intechopen.94023 fatcat:4rj3qkdlz5defma563f2qopjaq

Bluff Body Aerodynamics: from Linear to Nonlinear

Teng Wu
2016 MOJ Civil Engineering  
Alan Davenport and Robert Scanlon, flutter analysis based on the linear analysis framework has been carried out through numerical and closed-form solutions.  ...  On the other hand, modern bridge decks, super tall buildings with unusual profiles and flexible wind turbine blades all exhibit aerodynamic perturbation (linear) is added on this base flow; while the hybrid  ... 
doi:10.15406/mojce.2016.01.00007 fatcat:wmoyosp7e5ghdgqpwwwyllltx4

Hybrid Time-Domain Performance Analysis of Multi-Antenna Systems on Vehicular Platforms

C. D. Sarris, W. Thiel, I.-S. Koh, K. Sarabandi, L.P.B. Katehi, B. S. Perlman
2002 32nd European Microwave Conference, 2002  
This paper presents a rigorous, full-wave analysis of effects pertinent to vehicular multi-antenna system performance, based on a hybrid time-domain analysis that combines electromagnetic modeling methods  ...  Applications where the combined circuit and electromagnetic simulation of multi-antenna systems sheds light to the serious impact of mutual transceiver interference on wireless network operation are provided  ...  Several aspects of such effects were rigorously taken into account, including the operation of front-end electronics and system performance in a forest environment.  ... 
doi:10.1109/euma.2002.339462 fatcat:unbkzor7lzhstjpp2gtuo3fmp4

Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)

Rupak Majumdar, Richard M. Murray, Pavithra Prabhakar, Marc Herbstritt
2014 Dagstuhl Reports  
This is a multi-disciplinary area requiring collaboration between areas focusing discrete systems analysis and continuous systems analysis.  ...  To this end, the seminar brought together researchers working in the fields of formal methods, control theory and hybrid systems to identify and discuss potential issues and research questions which require  ...  give a brief introduction of Flow* which is a reachability analysis tool for non-linear continuous and hybrid systems.  ... 
doi:10.4230/dagrep.4.3.85 dblp:journals/dagstuhl-reports/MajumdarMP14 fatcat:qm5epthwvbgf5mk74me42qcpei

Constructing verification models of nonlinear Simulink systems via syntactic hybridization

Nikolaos Kekatos, Marcelo Forets, Goran Frehse
2017 2017 IEEE 56th Annual Conference on Decision and Control (CDC)  
The focus is on set-based reachability analysis and on control systems that are described by hybrid dynamics and nonlinear components.  ...  Existing hybridization procedures operate on the composed (flattened) system, so the number of partitions is exponential in the number of variables.  ...  Formal verification attempts to guarantee that requirements are satisfied through a rigorous mathematical analysis of the system.  ... 
doi:10.1109/cdc.2017.8263907 dblp:conf/cdc/KekatosFF17 fatcat:3mjjeu6y5vdftifdm2zuw6c6mm
« Previous Showing results 1 — 15 out of 39,033 results