Relevant bibliographies by topics / Hybrid systems modeling and verification / Journal articles
To see the other types of publications on this topic, follow the link: Hybrid systems modeling and verification.

Journal articles on the topic 'Hybrid systems modeling and verification'

Author: Grafiati
Published: 11 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Hybrid systems modeling and verification.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Mosterman, Pieter J., Gautam Biswas, and Janos Sztipanovits. "Hybrid Modeling and Verification of Embedded Control Systems." IFAC Proceedings Volumes 30, no. 4 (1997): 33–38. http://dx.doi.org/10.1016/s1474-6670(17)43608-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Motallebi, Hassan, and Mohammad Abdollahi Azgomi. "Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets." Theoretical Computer Science 446 (August 2012): 48–74. http://dx.doi.org/10.1016/j.tcs.2012.05.023.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Mosterman, Pieter J., Gautam Biswas, and Janos Sztipanovits. "A hybrid modeling and verification paradigm for embedded control systems." Control Engineering Practice 6, no. 4 (1998): 511–21. http://dx.doi.org/10.1016/s0967-0661(98)00045-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Park, Jaeyong, Arda Kurt, and Ümit Özgüner. "Hybrid Systems Modeling and Reachability-Based Controller Design Methods for Vehicular Automation." Unmanned Systems 02, no. 02 (2014): 101–19. http://dx.doi.org/10.1142/s2301385014500071.

Full text
Abstract:
In this study, applicability of verification and correct-by-design hybrid systems modeling and reachability-based controllers for vehicular automation are investigated. Two perspectives in hybrid systems modeling will be introduced, and then reachability analysis techniques will be developed to compute exact reachable sets from a specified unsafe set. Using level set methods, a Hamilton–Jacobi–Isaacs equation is derived whose solutions describe the boundaries of the finite time backward reachable set, which will be manipulated to design a safe controller that guarantees the safety of a given s
APA, Harvard, Vancouver, ISO, and other styles
5

FRIBOURG, LAURENT, and ULRICH KÜHNE. "PARAMETRIC VERIFICATION AND TEST COVERAGE FOR HYBRID AUTOMATA USING THE INVERSE METHOD." International Journal of Foundations of Computer Science 24, no. 02 (2013): 233–49. http://dx.doi.org/10.1142/s0129054113400091.

Full text
Abstract:
Hybrid systems combine continuous and discrete behavior. Hybrid Automata are a powerful formalism for the modeling and verification of such systems. A common problem in hybrid system verification is the good parameters problem, which consists in identifying a set of parameter valuations which guarantee a certain behavior of a system. Recently, a method has been presented for attacking this problem for Timed Automata. In this paper, we show the extension of this methodology for hybrid automata with linear and affine dynamics. The method is demonstrated with a hybrid system benchmark from the li
APA, Harvard, Vancouver, ISO, and other styles
6

Schupp, Stefan, Francesco Leofante, Leander Behr, Erika Ábrahám, and Armando Taccella. "Robot Swarms as Hybrid Systems: Modelling and Verification." Electronic Proceedings in Theoretical Computer Science 361 (July 10, 2022): 61–77. http://dx.doi.org/10.4204/eptcs.361.7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Lu, Tsung-Yu, Mu-En Wu, Er-Hao Chen, and Yeong-Luh Ueng. "Reference Selection for Offline Hybrid Siamese Signature Verification Systems." Computers, Materials & Continua 73, no. 1 (2022): 935–52. http://dx.doi.org/10.32604/cmc.2022.026717.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Maheshwari, Sachin, Spyros Stathopoulos, Jiaqi Wang, et al. "Design Flow for Hybrid CMOS/Memristor Systems—Part I: Modeling and Verification Steps." IEEE Transactions on Circuits and Systems I: Regular Papers 68, no. 12 (2021): 4862–75. http://dx.doi.org/10.1109/tcsi.2021.3122343.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Wang, Miaosen, Yuan Xue, and Kang Wang. "Modeling and Simulation in an Aircraft Safety Design Based on a Hybrid AHP and FCA Algorithm." Computational Intelligence and Neuroscience 2022 (May 27, 2022): 1–11. http://dx.doi.org/10.1155/2022/6424057.

Full text
Abstract:
Throughout the world, the reliability-based approach to safety design of aircraft systems is quite mature and widely used. However, there are still shortcomings in the reliability-based aircraft system safety analysis method. It cannot dynamically analyze the accident evolution process and lack consideration of the complex situation of multifactor coupling. On the basis of the original aircraft system safety analysis method, this paper innovatively proposes a functional hazard analysis (FHA) method based on the analytic hierarchy process (AHP) and multifactor fuzzy comprehensive assessment (FC
APA, Harvard, Vancouver, ISO, and other styles
10

Sharykin, Raman E., and Alexander N. Kourbatski. "A model of distributed object­based stochastic hybrid systems." Journal of the Belarusian State University. Mathematics and Informatics, no. 2 (August 1, 2019): 52–61. http://dx.doi.org/10.33581/2520-6508-2019-2-52-61.

Full text
Abstract:
This article offers a mathematical model for distributed object­oriented stochastic hybrid systems (DOBSHS). DOBSHS are composite objects communicating with other objects through the exchange of messages through an asynchronous medium such as a network. An important component of the model is the probabilistic nature of the DOBSHS, in which the state of the system is described by stochastic differential equations with instantaneous probabilistic state changes when certain conditions are met. Also probabilistic is the nature of the messaging environment, in which the model of message delivery ti
APA, Harvard, Vancouver, ISO, and other styles
11

Beyer, Dirk, and Heinrich Rust. "A Tool for Modular Modelling and Verification of Hybrid Systems." IFAC Proceedings Volumes 33, no. 7 (2000): 169–74. http://dx.doi.org/10.1016/s1474-6670(17)39950-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Wang, Shuling, Naijun Zhan, and Lijun Zhang. "A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems." Formal Aspects of Computing 29, no. 4 (2017): 751–75. http://dx.doi.org/10.1007/s00165-017-0421-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Lavrischeva, Ekaterina Mikhailovna, and Alexander Konstantinovich Petrenko. "Modeling of operational, software and technical systems in RFBR projects." Proceedings of the Institute for System Programming of the RAS 33, no. 6 (2021): 265–80. http://dx.doi.org/10.15514/ispras-2021-33(6)-19.

Full text
Abstract:
A wide range of issues of theory and practice in the development of large-scale software and hybrid software intensive systems, including operating systems, is considered. Issues of configuration management, modeling and verification of such systems, construction of ontological models of subject areas related to application and system software are touched upon. Such multilateral consideration is necessary to ensure reliability, security and elastic development during the multi-year period of operation of infrastructural and mission-critical systems. The paper is based on the materials of studi
APA, Harvard, Vancouver, ISO, and other styles
14

LU, Nan, Xiaodong WANG, Zheng TANG, and Pei HE. "Modeling method of unmanned aerial vehicle swarm behavior based on spatiotemporal hybrid Petri net." Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University 40, no. 4 (2022): 812–18. http://dx.doi.org/10.1051/jnwpu/20224040812.

Full text
Abstract:
The more and more widely used UAV swarm operations have received great attention in the new global military revolution of informatization, and the integrated modeling of UAV swarms has great significance and value for the testing and verification of combat modes. Aiming at the modeling and simulation requirements of combat scenarios, taking the collaborative combat process of heterogeneous UAV swarms as the research object, starting from the modeling of a single UAV, on the basis of the formalization and mathematical description of the single combat process, this paper employs Petri nets based
APA, Harvard, Vancouver, ISO, and other styles
15

Glavaski, Sonja, Dharmashankar Subramanian, Kartik Ariyur, Ranjana Ghosh, Nitin Lamba, and Antonis Papachristodoulou. "A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification." IEEE Transactions on Control Systems Technology 15, no. 6 (2007): 1003–17. http://dx.doi.org/10.1109/tcst.2007.899649.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Krznar, Matija, Petar Piljek, Denis Kotarski, and Danijel Pavković. "Modeling, Control System Design and Preliminary Experimental Verification of a Hybrid Power Unit Suitable for Multirotor UAVs." Energies 14, no. 9 (2021): 2669. http://dx.doi.org/10.3390/en14092669.

Full text
Abstract:
A key drawback of multirotor unmanned aerial vehicles (UAVs) with energy sources based solely on electrochemical batteries is related to the available on-board energy. Flight autonomy is typically limited to 15–30 min, with a flight duration upper limit of 90 min currently being achieved by high-performance battery-powered multirotor UAVs. Therefore, propulsion systems that utilize two or more different energy sources (hybrid power systems) may be considered as an alternative in order to increase the flight duration while retaining key performance benefits of battery energy storage use. The re
APA, Harvard, Vancouver, ISO, and other styles
17

Ma, Junda, Guoxin Wang, Jinzhi Lu, Shaofan Zhu, Jingjing Chen, and Yan Yan. "Semantic Modeling Approach Supporting Process Modeling and Analysis in Aircraft Development." Applied Sciences 12, no. 6 (2022): 3067. http://dx.doi.org/10.3390/app12063067.

Full text
Abstract:
With the increasing complexity of aircraft development programs, the development processes of aircraft and their subsystems are continuously becoming complicated, leading to the growing risks of development cost across the entire life cycle. In this study, we proposed a model-based systems engineering approach to support process modeling of aircraft development using a multi-architecture modeling language KARMA. Simultaneously, property verification and hybrid automata simulation were used to implement the static cost analysis of each work task and dynamic cost analysis of the entire developme
APA, Harvard, Vancouver, ISO, and other styles
18

Tarraf, Ahmad, and Lars Hedrich. "From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction." it - Information Technology 62, no. 5-6 (2020): 257–70. http://dx.doi.org/10.1515/itit-2020-0004.

Full text
Abstract:
AbstractIn this paper we present a methodology to automatically generate an accurate behavioral model from an analog circuit description. The current machine learning method is limited to circuits with up to 80 transistors, limiting our approach to small and mid size circuit blocks due to a state explosion problem. However, if complex building blocks such as IOT systems should be modeled, the current approach needs to recoup with feasible simulation and modeling time. To come up with a solution for this problem, we extend the current method by a compositional approach. The approach is illustra
APA, Harvard, Vancouver, ISO, and other styles
19

ZERGAT, KAWTHAR YASMINE, and ABDERRAHMANE AMROUCHE. "SVM AGAINST GMM/SVM FOR DIALECT INFLUENCE ON AUTOMATIC SPEAKER RECOGNITION TASK." International Journal of Computational Intelligence and Applications 13, no. 02 (2014): 1450012. http://dx.doi.org/10.1142/s1469026814500126.

Full text
Abstract:
A big deal for current research on automatic speaker recognition is the effectiveness of the speaker modeling techniques for the talkers, because they have their own speaking style, depending on their specific accents and dialects. This paper investigates on the influence of the dialect and the size of database on the text independent speaker verification task using the SVM and the hybrid GMM/SVM speaker modeling. The Principal Component Analysis (PCA) technique is used in the front-end part of the speaker recognition system, in order to extract the most representative features. Experimental r
APA, Harvard, Vancouver, ISO, and other styles
20

Mayer, Gary R., and Hessam S. Sarjoughian. "Building a hybrid DEVS and GRASS model using a composable cellular automaton." International Journal of Modeling, Simulation, and Scientific Computing 07, no. 01 (2016): 1541005. http://dx.doi.org/10.1142/s1793962315410056.

Full text
Abstract:
Modeling and simulation is pervasive throughout many different disciplines. As computing technology has provided more capability, the systems being modeled and simulated have grown larger and more complex. Often times, these large systems are managed as interacting subsystems. When it is necessary for the simulation to allow disparate subsystems to maintain their independence, then a hybrid model of the subsystems should be used. Furthermore, to ease the burden of verification and validation of simulation results, a proven system theoretical modeling specification should be used. However, many
APA, Harvard, Vancouver, ISO, and other styles
21

Adamiec-Wójcik, I., J. Awrejcewicz, A. Nowak, and S. Wojciech. "Vibration Analysis of Collecting Electrodes by means of the Hybrid Finite Element Method." Mathematical Problems in Engineering 2014 (2014): 1–19. http://dx.doi.org/10.1155/2014/832918.

Full text
Abstract:
The paper presents a hybrid finite element method of shell modeling in order to model collecting electrodes of electrostatic precipitators. The method uses the finite element method to reflect elastic features and the rigid finite element method in order to model mass features of the body. A model of dust removal systems of an electrostatic precipitator is presented. The system consists of two beams which are modeled by means of the rigid finite element method and a system of collecting shells modeled by means of the hybrid finite element method. The paper discusses both the procedure of deriv
APA, Harvard, Vancouver, ISO, and other styles
22

Müller, Olaf, and Thomas Stauner. "Modelling and Verification using Linear Hybrid Automata -- a Case Study." Mathematical and Computer Modelling of Dynamical Systems 6, no. 1 (2000): 71–89. http://dx.doi.org/10.1076/1387-3954(200003)6:1;1-q;ft071.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Hamouda, Roua Ben, Imene Ben Hafaiedh, and Riadh Robbana. "Modelling and verification of reconfigurable fault-tolerant and self-recovering systems in hybrid Clouds." Simulation Modelling Practice and Theory 111 (September 2021): 102331. http://dx.doi.org/10.1016/j.simpat.2021.102331.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Richter, H., and R. E. Maynard. "Hybrid-dynamical modelling, characterization, and experimental verification of a free-wheeling clutch." Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering 224, no. 4 (2010): 361–72. http://dx.doi.org/10.1243/09596518jsce839.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

Yang, Xiaodong, Omar Ali Beg, Matthew Kenigsberg, and Taylor T. Johnson. "A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces." ACM Transactions on Cyber-Physical Systems 6, no. 2 (2022): 1–24. http://dx.doi.org/10.1145/3470455.

Full text
Abstract:
Automata-based modeling of hybrid and cyber-physical systems (CPS) is an important formal abstraction amenable to algorithmic analysis of its dynamic behaviors, such as in verification, fault identification, and anomaly detection. However, for realistic systems, especially industrial ones, identifying hybrid automata is challenging, due in part to inferring hybrid interactions, which involves inference of both continuous behaviors, such as through classical system identification, as well as discrete behaviors, such as through automata (e.g., L*) learning. In this paper, we propose and evaluate
APA, Harvard, Vancouver, ISO, and other styles
26

Kaplanski, Pawel, Cezary Orłowski, Irena Bach-Dąbrowska, and Włodzimierz Wysocki. "Hybrid Fuzzy-Ontological Project Framework of a Team Work Simulation System." International Journal of Knowledge and Systems Science 7, no. 1 (2016): 1–24. http://dx.doi.org/10.4018/ijkss.2016010101.

Full text
Abstract:
The aim of this article is to present the project framework for constructing a Software Process Simulation Modeling (SPSM) system. SPSM systems can be used as a virtual environment for the selection of methods and tools of project management in IT support organizations. The constructed system simulates the Scrum methodology, including the management processes and the project roles. For the implementation of Scrum processes, the Scrum ontology is proposed and for the competences of the roles of project team members, a fuzzy-logic representation. As a result the authors present the hybrid fuzzy
APA, Harvard, Vancouver, ISO, and other styles
27

Oettingen, Mikołaj. "Assessment of the Radiotoxicity of Spent Nuclear Fuel from a Fleet of PWR Reactors." Energies 14, no. 11 (2021): 3094. http://dx.doi.org/10.3390/en14113094.

Full text
Abstract:
The paper presents the methodology for the estimation of the long-term actinides radiotoxicity and isotopic composition of spent nuclear fuel from a fleet of Pressurized Water Reactors (PWR). The methodology was developed using three independent numerical tools: the Spent Fuel Isotopic Composition database, the Nuclear Fuel Cycle Simulation System and the Monte Carlo Continuous Energy Burnup Code. The validation of spent fuel isotopic compositions obtained in the numerical modeling was performed using the available experimental data. A nuclear power embarking country benchmark was implemented
APA, Harvard, Vancouver, ISO, and other styles
28

Liu, Chan, Liping Chen, Jianwan Ding, and Duansen Shangguan. "Modeling of Satellite Constellation in Modelica and a PHM System Framework Driven by Model Data Hybrid." Electronics 11, no. 14 (2022): 2155. http://dx.doi.org/10.3390/electronics11142155.

Full text
Abstract:
The new generation of low-earth-orbit (LEO) satellite constellation systems has the characteristics of low delay, strong signal and global coverage, and it is an important direction for the development of next-generation communication technology. A major disadvantage is that the constellation system is huge, often composed of hundreds or thousands of satellites, which puts forward high requirements for the design and health management of the constellation system, and the existing telemetry data monitoring system cannot meet the actual needs. CPS is a multidimensional complex system that integr
APA, Harvard, Vancouver, ISO, and other styles
29

Yang, Lei, Li Ma, Xiaojie Li, et al. "Modeling and Analysis of N-Branch Hybrid Switched Inductor and Capacitor Converter." Electronics 10, no. 8 (2021): 891. http://dx.doi.org/10.3390/electronics10080891.

Full text
Abstract:
This paper proposes a family of N-Branch hybrid switched inductor and capacitor (SLC) converters. With the single circuit, the multi-level output voltage or current could be generated. The proposed converter is suitable both for the voltage source and the current source. The same LC network is reused for different LC branches. The proposed converter is controlled by the phase shift control method with a time domain multiplexing concept. The N level circuit is operated with the same frequency. One cycle period is divided into N small time cycles for each branch. The phase shift for each branch
APA, Harvard, Vancouver, ISO, and other styles
30

Ji, Huawei, Bo Lv, Hanqi Ding, et al. "Modeling and Control of Hysteresis Characteristics of Piezoelectric Micro-Positioning Platform Based on Duhem Model." Actuators 11, no. 5 (2022): 122. http://dx.doi.org/10.3390/act11050122.

Full text
Abstract:
The hysteresis characteristic of piezoelectric micro-positioning platforms seriously affects its positioning accuracy in precision positioning. It is important to design an effective hysteresis model and control scheme. Based on the analysis of the Duhem model, this paper proposes to divide the hysteresis curve into two parts, the step-up section and the step-down section, to identify the model parameters, respectively, and a hybrid intelligent optimization algorithm based on the artificial fish swarm algorithm and the bat algorithm is proposed. The simulation experiment verified that the erro
APA, Harvard, Vancouver, ISO, and other styles
31

Grübl, Andreas, Sebastian Billaudelle, Benjamin Cramer, Vitali Karasenko, and Johannes Schemmel. "Verification and Design Methods for the BrainScaleS Neuromorphic Hardware System." Journal of Signal Processing Systems 92, no. 11 (2020): 1277–92. http://dx.doi.org/10.1007/s11265-020-01558-7.

Full text
Abstract:
Abstract This paper presents verification and implementation methods that have been developed for the design of the BrainScaleS-2 65 nm ASICs. The 2nd generation BrainScaleS chips are mixed-signal devices with tight coupling between full-custom analog neuromorphic circuits and two general purpose microprocessors (PPU) with SIMD extension for on-chip learning and plasticity. Simulation methods for automated analysis and pre-tapeout calibration of the highly parameterizable analog neuron and synapse circuits and for hardware-software co-development of the digital logic and software stack are pre
APA, Harvard, Vancouver, ISO, and other styles
32

Korniienko, V., O. Gerasina, D. Tymofieiev, O. Safarov, and Y. Kovalova. "Models of monitoring of self-like traffic of information and communication networks for attack detection systems." System technologies 6, no. 137 (2021): 99–113. http://dx.doi.org/10.34185/1562-9945-6-137-2021-10.

Full text
Abstract:
Autoregressive, fractal and multifractal models of network self-similar traffic are con-sidered, which allow to form an adequate reference model (template) of "normal" traffic and to detect traffic anomalies in attack detection and prevention systems. Models of fractal Brownian motion and fractal Gaussian noise were considered as models of fractal motions, because they have self-similarity and long-term dependence properties that correspond to the properties of experimental data, as well as the possibility of their analytical interpretation. When evaluating and identifying processes for the im
APA, Harvard, Vancouver, ISO, and other styles
33

Lucia, Walter, Giuseppe Franzè, and Domenico Famularo. "A receding horizon event-driven control strategy for intelligent traffic management." Discrete Event Dynamic Systems 31, no. 3 (2021): 469–88. http://dx.doi.org/10.1007/s10626-020-00337-7.

Full text
Abstract:
AbstractIn this paper, the intelligent traffic management within a smart city environment is addressed by developing an ad-hoc model predictive control strategy based on an event-driven formulation. To this end, a constrained hybrid system description is considered for safety verification purposes and a low-demanding receding horizon controller is then derived by exploiting set-theoretic arguments. Simulations are performed on the train-gate benchmark system to show the effectiveness and benefits of the proposed methodology.
APA, Harvard, Vancouver, ISO, and other styles
34

Lu, En, Ning Wang, Wei Zheng, et al. "Data-Driven Electricity Price Risk Assessment for Spot Market." International Transactions on Electrical Energy Systems 2022 (January 31, 2022): 1–11. http://dx.doi.org/10.1155/2022/9453879.

Full text
Abstract:
Electricity price risk assessment (EPRA) is essential for spot market analysis and operation. The statistical moments (i.e., the mean and standard deviation) of the price need to be assessed to support market risk control. This paper proposes a data-driven approach for EPRA based on the Gaussian process (GP) framework. Compared with the deep learning algorithms, GP has two merits: (1) the scale of training sample required is small and (2) the time-consuming hyperparameter tuning process is avoided. However, the direct application of GP for EPRA is not tractable due to the complicated discrete
APA, Harvard, Vancouver, ISO, and other styles
35

Ying-Ji Liu, Ying-Ji Liu, Qi-Hang Wang Ying-Ji Liu, Hai-Ying Xia Qi-Hang Wang, Xin-Lei Wei Hai-Ying Xia, Hong Jia Xin-Lei Wei, and Guo-Liang Dong Hong Jia. "Research for Fault Diagnosis Method and System for Diesel Engine Based on ANFIS." 電腦學刊 33, no. 1 (2022): 179–88. http://dx.doi.org/10.53106/199115992022023301016.

Full text
Abstract:
<p>After compliance verification, operating vehicles can enter the road transportation market. Diesel engine is the main power source of these vehicles, there will be some typical faults during the use of diesel engine, which will affect the technical status of vehicles. According to the fault diagnosis problem of diesel engine, a fault diagnosis method based on Adaptive-Network-Based Fuzzy Inference System(ANFIS) was proposed, Subtractive clustering algorithm was used to confirm the original structure of fuzzy inference model, and ANFIS was used to build an original fault diagnosis mode
APA, Harvard, Vancouver, ISO, and other styles
36

Rostoka, Marina. "THEORETICAL AND METHODOLOGICAL ASPECTS OF ONTOLOGICAL MODELING OF INFORMATION-ANALYTICAL SYSTEM OF SCIENTIFIC PERSONNEL TRAINING." Computer systems and information technologies, no. 3 (September 28, 2022): 75–81. http://dx.doi.org/10.31891/csit-2022-3-10.

Full text
Abstract:
The development of science and education is now exposed to a huge impact of such civilizational challenges as: climate change, which is due to global warming, excessive and unjustified consumption of material goods, environmental pollution; pandemic COVID 19 and the emergence of new diseases and as the quintessence of human irresponsibility and callousness, activation on a global scale, and in Ukraine in particular, hybrid wars against universal values. This situation causes a massive shift to a remote format of the organization of scientific and educational (research) process, including the t
APA, Harvard, Vancouver, ISO, and other styles
37

Surianinov, M. G., S. Jgalli, and Al Echcheikh El Alaoui Douaa. "NUMERICAL MODELING OF THE DISTRIBUTION OF SNOW LOAD ON A HYPERBOLIC PARABOLOID. THEORETICAL BASIS." Bulletin of Odessa State Academy of Civil Engineering and Architecture, no. 85 (December 28, 2021): 43–51. http://dx.doi.org/10.31650/2415-377x-2021-85-43-51.

Full text
Abstract:
Abstract. The paper discusses the choice of a method for studying the distribution of snow loads on a biconcave roof of a hyperbolic paraboloid and its theoretical justification. It is noted that the numerical modeling of the aerodynamic characteristics of buildings and structures is a difficult and resource-intensive task due to the design features of building objects, which, as a rule, have a complex geometric shape, as well as due to a complex unsteady flow resulting from their flow around them. In addition, the task becomes more complicated due to the interference of vortex structures betw
APA, Harvard, Vancouver, ISO, and other styles
38

Ufe, M. M., S. N. Apebo, and A. Y. Iorliam. "Derivation and optimization of deflection equations for tapered cantilever beams using the finite element method." Nigerian Journal of Technology 39, no. 2 (2020): 351–62. http://dx.doi.org/10.4314/njt.v39i2.5.

Full text
Abstract:
This study derived analytical solutions for the deflection of a rectangular cross sectional uniformly tapered cantilever beam with varying configurations of width and breadth acting under an end point load. The deflection equations were derived using a numerical analysis method known as the finite element method. The verification of these analytical solutions was done by deterministic optimisation of the equations using the ModelCenter reliability analysis software and the Abaqus finite element modelling and optimisation software. The results obtained show that the best element type for the fi
APA, Harvard, Vancouver, ISO, and other styles
39

Zalasiński, Marcin, Krzysztof Cpałka, Łukasz Laskowski, Donald C. Wunsch, and Krzysztof Przybyszewski. "An Algorithm for the Evolutionary-Fuzzy Generation of on-Line Signature Hybrid Descriptors." Journal of Artificial Intelligence and Soft Computing Research 10, no. 3 (2020): 173–87. http://dx.doi.org/10.2478/jaiscr-2020-0012.

Full text
Abstract:
AbstractIn biometrics, methods which are able to precisely adapt to the biometric features of users are much sought after. They use various methods of artificial intelligence, in particular methods from the group of soft computing. In this paper, we focus on on-line signature verification. Such signatures are complex objects described not only by the shape but also by the dynamics of the signing process. In standard devices used for signature acquisition (with an LCD touch screen) this dynamics may include pen velocity, but sometimes other types of signals are also available, e.g. pen pressure
APA, Harvard, Vancouver, ISO, and other styles
40

Laiko, O., S. Ilchenko, N. Maslii, and M. Demianchuk. "Scholarly Research and Applied Approach to the Interdependence of Manufacture and Transportation of Products Based on Intermodality and Multimodality." Science and Innovation 19, no. 1 (2023): 86–98. http://dx.doi.org/10.15407/scine19.01.086.

Full text
Abstract:
Introduction. The integration processes of the transport system are an important factor in the economic development of Ukraine in conditions of increased competition for transit cargo flows. Therefore, it is necessary to develop multimodal transportation of products to ensure the competitiveness of Ukraine in the international transport market.Problem Statement. In the modern conditions of the development of the transport system of Ukraine, there have arisen theoretical and applied problems related to determining the most appropriate means for hybrid cargo transportation.Purpose. This study is
APA, Harvard, Vancouver, ISO, and other styles
41

Mustafee, Navonil, Saurabh Mittal, Saikou Diallo, and Gregory Zacharewicz. "Hybrid systems modeling." SIMULATION 94, no. 3 (2018): 177–78. http://dx.doi.org/10.1177/0037549718758428.

Full text
APA, Harvard, Vancouver, ISO, and other styles
42

Zhang, Lijun, Zhikun She, Stefan Ratschan, Holger Hermanns, and Ernst Moritz Hahn. "Safety Verification for Probabilistic Hybrid Systems." European Journal of Control 18, no. 6 (2012): 572–87. http://dx.doi.org/10.3166/ejc.18.572-587.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

maler, Oded. "Guest Editorial: Verification of Hybrid Systems." European Journal of Control 7, no. 4 (2001): 357–65. http://dx.doi.org/10.3166/ejc.7.357-365.

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

Cimatti, Alessandro, Sergio Mover, and Stefano Tonetta. "SMT-Based Verification of Hybrid Systems." Proceedings of the AAAI Conference on Artificial Intelligence 26, no. 1 (2021): 2100–2105. http://dx.doi.org/10.1609/aaai.v26i1.8442.

Full text
Abstract:
Hybrid automata networks (HAN) are a powerful formalism to model complex embedded systems. In this paper, we survey the recent advances in the application of Satisfiability Modulo Theories (SMT) to the analysis of HAN. SMT can be seen as an extended form of Boolean satisfiability (SAT), where literals are interpreted with respect to a background theory (e.g. linear arithmetic). HAN can be symbolically represented by means of SMT formulae, and analyzed by generalizing to the case of SMT the traditional model checking algorithms based on SAT.
APA, Harvard, Vancouver, ISO, and other styles
45

Wongpiromsarn, Tichakorn, Sayan Mitra, Andrew Lamperski, and Richard M. Murray. "Verification of Periodically Controlled Hybrid Systems." ACM Transactions on Embedded Computing Systems 11, S2 (2012): 1–24. http://dx.doi.org/10.1145/2331147.2331163.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

Puri, Anuj, and Pravin Varaiya. "Verification of Hybrid Systems using Abstractions." IFAC Proceedings Volumes 29, no. 1 (1996): 4899–904. http://dx.doi.org/10.1016/s1474-6670(17)58457-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Kesten, Yonit, Zohar Manna, and Amir Pnueli. "Verification of clocked and hybrid systems." Acta Informatica 36, no. 11 (2000): 837–912. http://dx.doi.org/10.1007/s002360050177.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Hoffmann, Lars, Paul F. Baumeister, Zhongyin Cai, et al. "Massive-Parallel Trajectory Calculations version 2.2 (MPTRAC-2.2): Lagrangian transport simulations on graphics processing units (GPUs)." Geoscientific Model Development 15, no. 7 (2022): 2731–62. http://dx.doi.org/10.5194/gmd-15-2731-2022.

Full text
Abstract:
Abstract. Lagrangian models are fundamental tools to study atmospheric transport processes and for practical applications such as dispersion modeling for anthropogenic and natural emission sources. However, conducting large-scale Lagrangian transport simulations with millions of air parcels or more can become rather numerically costly. In this study, we assessed the potential of exploiting graphics processing units (GPUs) to accelerate Lagrangian transport simulations. We ported the Massive-Parallel Trajectory Calculations (MPTRAC) model to GPUs using the open accelerator (OpenACC) programming
APA, Harvard, Vancouver, ISO, and other styles
49

Schiffelers, R. R. H., D. A. van Beek, K. L. Man, M. A. Reniers, and J. E. Rooda. "A Hybrid Language for Modeling, Simulation and Verification." IFAC Proceedings Volumes 36, no. 6 (2003): 199–204. http://dx.doi.org/10.1016/s1474-6670(17)36431-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
50

Maler, Oded. "Algorithmic Verification of Continuous and Hybrid Systems." Electronic Proceedings in Theoretical Computer Science 140 (February 23, 2014): 48–69. http://dx.doi.org/10.4204/eptcs.140.4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography