A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Implementation of multilinear look-up tables as surrogate models for the ethyl transesterification reactor in equation-oriented simulator EMSO
2020
The Journal of Engineering and Exact Sciences
Preserved Fulltext
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
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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)
2017
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
International Journal of Modeling and Optimization
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Journal of Manufacturing Technology Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
Preface
2010
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
IFAC Proceedings Volumes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2020
Wastewater Treatment [Working Title]
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2016
MOJ Civil Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2002
32nd European Microwave Conference, 2002
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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)
2014
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2017
2017 IEEE 56th Annual Conference on Decision and Control (CDC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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