Статті в журналах: "Hybrid systems modeling and verification"

1

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (April 1998): 511–21. http://dx.doi.org/10.1016/s0967-0661(98)00045-8.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (April 2014): 101–19. http://dx.doi.org/10.1142/s2301385014500071.

Повний текст джерела

Анотація:

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 system. An automated longitudinal controller with a fully integrated collision avoidance functionality will be designed as a hybrid system and validated through simulations with a number of different scenarios in order to illustrate the potential of verification methods in automated vehicles.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (February 2013): 233–49. http://dx.doi.org/10.1142/s0129054113400091.

Повний текст джерела

Анотація:

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 literature.

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Maheshwari, Sachin, Spyros Stathopoulos, Jiaqi Wang, Alexander Serb, Yihan Pan, Andrea Mifsud, Lieuwe B. Leene, 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 (December 2021): 4862–75. http://dx.doi.org/10.1109/tcsi.2021.3122343.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 (FCA). The purpose is to improve the objectivity and quantification of the FHA method in the safety design of aircraft systems. At the same time, in the terminal airworthiness verification, this paper proposes a repeatable and controllable virtual test flight verification method, which aims to reduce the cost and cycle of the terminal airworthiness verification and expand the coverage of the envelope verification. Finally, combined with the clauses in MIL-HDBK-516B, a case calculation is carried out to verify the feasibility of the proposed method.

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Sharykin, Raman E., and Alexander N. Kourbatski. "A model of distributed objectbased 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.

Повний текст джерела

Анотація:

This article offers a mathematical model for distributed objectoriented 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 time is a random variable. Such problems are often encountered in practice in various areas and issues of formal modeling and verification of their properties are very important. The article presents a mathematical model of DOBSHS and proved that it has a Markov property.

Стилі APA, Harvard, Vancouver, ISO та ін.

11

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (February 23, 2017): 751–75. http://dx.doi.org/10.1007/s00165-017-0421-7.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 studies carried out within the two RFBR projects. In addition to recent results, the authors pay attention to the history of the development of research in the relevant areas in the Soviet Union.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (August 2022): 812–18. http://dx.doi.org/10.1051/jnwpu/20224040812.

Повний текст джерела

Анотація:

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 on the hybridization of time and space to describe the discrete states and continuous processes of heterogeneous UAV swarm systems, and effectively solves the problems of the fusion between physics and computing processes, and modeling of interactive events in swarm systems. UPPAAL is selected to formally verify the modeling of UAV swarm strike mission, which shows that the proposed modeling method is feasible and effective.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (November 2007): 1003–17. http://dx.doi.org/10.1109/tcst.2007.899649.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (May 6, 2021): 2669. http://dx.doi.org/10.3390/en14092669.

Повний текст джерела

Анотація:

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 research presented in this work considers a multirotor UAV power unit, based on the internal combustion engine (ICE) powering an electricity generator (EG) connected to the common direct current (DC) bus in parallel with the lithium-polymer (LiPo) battery, and the respective modeling and identification of individual power unit subsystem, along with the dedicated control system design. Experimental verification of the proposed hybrid power unit control system has been carried out on the custom-build power unit prototype. The results show that the proposed control system combines the two power sources in a straightforward and effective way, with subsequent analysis showing that a two-fold energy density increase can be achieved with a hybrid energy source, consequently making it possible to achieve higher flight autonomy of the prospective multirotor (hover load around 1000–1400 W) equipped with such a hybrid system.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (March 17, 2022): 3067. http://dx.doi.org/10.3390/app12063067.

Повний текст джерела

Анотація:

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 development process. Finally, a development process model of aircraft avionics system was created using a case study, in which cost analysis is implemented by the KARMA language. From the result, we found that the KARMA language enables the integration of the process modeling with static and dynamic analyses of the development process in a multi-architecture modeling tool MetaGraph 2.0.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (December 16, 2020): 257–70. http://dx.doi.org/10.1515/itit-2020-0004.

Повний текст джерела

Анотація:

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 illustrated upon an example from the area of autonomous driving. Our method decomposes this large example into smaller building blocks and models each of them automatically. All models are combined into a compositional hybrid automaton of the whole complex system.Compared to the original state space, the building blocks operate on smaller and reduced state spaces and hence drastically reduce the complexity. Using a back-transformation on the compositional automaton, all values from the original state space can be reconstructed. Moreover, we perform a formal verification on the generated compositional automaton. Results from a meaningful example are presented and discussed.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (June 2014): 1450012. http://dx.doi.org/10.1142/s1469026814500126.

Повний текст джерела

Анотація:

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 results show that the size of database has an important impact on the SVM and GMM/SVM based speaker verification performances, while the dialect has no significant effect. Applying PCA dimensionality reduction improves the recognition accuracy for both SVM and GMM/SVM based recognition systems. However, it did not give an obvious observation about the dialect effect.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (March 2016): 1541005. http://dx.doi.org/10.1142/s1793962315410056.

Повний текст джерела

Анотація:

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 communities have already adopted nonsystem theoretical software solutions and established a group of domain experts familiar with these tools. This paper provides two things: a formal approach to building a hybrid model, and a discussion of how to incorporate a nonsystem theoretical software implementation into a proven framework. The first is done through the implementation of a Knowledge Interchange Broker (KIB) as an Interaction Model (IM). The second is accomplished by exemplifying the use of the IM in an agent-environment hybrid model. In the hybrid model, the agent is implemented in the Discrete-event System (DEVS) specification and the environment is implemented in the Geographical Resources Analysis Support System (GRASS) using a Composable Cellular Automaton (CCA) specification. This concept has been successfully applied to both example models and an interdisciplinary research project where the interactions between human activities and landscape processes are studied.

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 deriving the equations of motion and the results of numerical simulations carried out in order to analyze vibrations of the whole system. Experimental verification of the model is also presented.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (March 2000): 71–89. http://dx.doi.org/10.1076/1387-3954(200003)6:1;1-q;ft071.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (April 28, 2010): 361–72. http://dx.doi.org/10.1243/09596518jsce839.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (April 30, 2022): 1–24. http://dx.doi.org/10.1145/3470455.

Повний текст джерела

Анотація:

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 a framework for inferring and validating models of deterministic hybrid systems with linear ordinary differential equations (ODEs) from input/output execution traces. The framework contains algorithms for the approximation of continuous dynamics in discrete modes, estimation of transition conditions, and the inference of automata mode merging. The algorithms are capable of clustering trace segments and estimating their dynamic parameters, and meanwhile, deriving guard conditions that are represented by multiple linear inequalities. Finally, the inferred model is automatically converted to the format of the original system for the validation. We demonstrate the utility of this framework by evaluating its performance in several case studies as implemented through a publicly available prototype software framework called HAutLearn and compare it with a membership-based algorithm.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (January 2016): 1–24. http://dx.doi.org/10.4018/ijkss.2016010101.

Повний текст джерела

Анотація:

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 ontological system as well as a prototype built during project work, allowing the initial verification of the proposed solution. The framework of the design processes proposed in the article was verified on the basis of real courses of project management processes in a large IT company.

Стилі APA, Harvard, Vancouver, ISO та ін.

27

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

Повний текст джерела

Анотація:

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 for the verification and testing of the methodology. The obtained radiotoxicity reaches the reference levels at about 1.3 × 105 years, which is common for the PWR spent nuclear fuel. The presented methodology may be incorporated into a more versatile numerical tool for the modeling of hybrid energy systems.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (July 9, 2022): 2155. http://dx.doi.org/10.3390/electronics11142155.

Повний текст джерела

Анотація:

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 integrates computation, communication and control (3C). Through the deep integration and cooperation of 3C, the real-time monitoring and dynamic control of large-scale engineering systems are realized, which is completely suitable for the operation and maintenance requirements of the satellite constellation system. This paper firstly establishes the entire satellite constellation system model, which is integrated from the satellite multidomain system, the constellation orbit environment system and the communication link system. Then, according to the technical concept of cyber-physical systems (CPS), an implementation framework of a prognostics and health (PHM) system driven by a model–data hybrid for satellite constellation systems is proposed. The framework is based on model simulation data and telemetry data and combines virtual and real data fusion, fault diagnosis, simulation prediction and other technologies to generate enhanced data to drive the effective operation of the PHM system. Finally, a verification case is designed to prove that the satellite constellation health management system implemented under this framework has a positive effect on the reliable operation and maintenance of the satellite constellation system.

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Yang, Lei, Li Ma, Xiaojie Li, Liansong Xiong, Xinghua Liu, Hui Cao, and Junkang Ni. "Modeling and Analysis of N-Branch Hybrid Switched Inductor and Capacitor Converter." Electronics 10, no. 8 (April 8, 2021): 891. http://dx.doi.org/10.3390/electronics10080891.

Повний текст джерела

Анотація:

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 is 360°/N. The load voltage could be changed by modifying the duty cycle of the transistor. When the SLCs work in the resonant condition, the soft switching will be acquired. The power loss of transistors could be sharply reduced. In this paper, a 300 W SLC converter is constructed to verify the theoretical analysis and operation mechanism in the resonant condition and hard switching condition. With the experimental and simulated verification, the soft switching and the stable multi-level output voltage or current are achieved. The proposed SLC converter could be used for the multi-level voltage power supply system, such as the electric vehicle, the electric aircraft, autonomous underwater vehicles (AUVs) and a new energy generation system.

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Ji, Huawei, Bo Lv, Hanqi Ding, Fan Yang, Anqi Qi, Xin Wu, and Jing Ni. "Modeling and Control of Hysteresis Characteristics of Piezoelectric Micro-Positioning Platform Based on Duhem Model." Actuators 11, no. 5 (April 27, 2022): 122. http://dx.doi.org/10.3390/act11050122.

Повний текст джерела

Анотація:

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 error of the improved model was reduced by 48.97%, which greatly improved the identification accuracy of the Duhem model. Finally, an inverse model of the Duhem model for the segmental identification of the improved artificial fish swarm algorithm is established, and a composite controller integrating feedforward, feedback and decoupling control is designed on the basis of the inverse model, and an experimental verification is carried out. The results show that the displacement errors of the composite controller under different voltage signals are all within 0.25%. Therefore, the established model can accurately express the hysteresis characteristics of the platform, and the use of the composite controller can effectively reduce the accuracy error caused by the hysteresis characteristics.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (July 9, 2020): 1277–92. http://dx.doi.org/10.1007/s11265-020-01558-7.

Повний текст джерела

Анотація:

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 presented. Accelerated operation of neuromorphic circuits and highly-parallel digital data buses between the full-custom neuromorphic part and the PPU require custom methodologies to close the digital signal timing at the interfaces. Novel extensions to the standard digital physical implementation design flow are highlighted. We present early results from the first full-size BrainScaleS-2 ASIC containing 512 neurons and 130 K synapses, demonstrating the successful application of these methods. An application example illustrates the full functionality of the BrainScaleS-2 hybrid plasticity architecture.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (December 10, 2021): 99–113. http://dx.doi.org/10.34185/1562-9945-6-137-2021-10.

Повний текст джерела

Анотація:

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 implementation of autoregressive models use adaptive filters-approximators, among which there are neural network and neuro-wavelet. The following were used as multifractal models: a multifractal wavelet model with a beta distribution and a hybrid multifractal wavelet model in which the beta distribution is used on a coarse scale and the dis-tribution of point masses on an accurate scale By modeling as a result of adaptation and learning of models, autocorrelation functions, spectra and variances of model signals qualitatively correspond to the graphs of the experimental signal. In addition, the qualitative and numerical values of the characteristics of the model signals generally correspond to the characteristics of the experimental signal. In this case, beta multifractal wavelet models have a smaller error of determination of characteristics than hybrid multifractal wavelet models, and the relative root mean square error of approximation of the experimental signal using a neural network adaptive filter approximator does not exceed 0.046. Statistical verification by non-parametric criterion of signs allowed to establish the adequacy of experimental and model signals with a significance level of 0.01. Further research should be aimed at developing and using predictive models of self-similar traffic in attack detection and prevention systems, which will increase the efficiency of attack detection.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (April 30, 2021): 469–88. http://dx.doi.org/10.1007/s10626-020-00337-7.

Повний текст джерела

Анотація:

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 та ін.

34

Lu, En, Ning Wang, Wei Zheng, Xuanding Wang, Xingyu Lei, Zhengchun Zhu, and Zhaoyu Gong. "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.

Повний текст джерела

Анотація:

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 relationship between the system operating status and the electricity price. To deal with that, a data-driven EPRA framework is developed that contains a GP surrogate model for the direct current optimal power flow (DC-OPF) problem and a hybrid model-data-based hybrid electricity price calculation method. To guarantee the accuracy of EPRA, an adaptability criterion and a second verification process based on the Karush–Kuhn–Tucker (KKT) condition are developed to distinguish the samples with GP learning errors. Numerical results carried out on IEEE benchmark systems demonstrate that the proposed method can achieve exactly the same EPRA results as Monte Carlo (MC) simulation, which significantly improved the computational efficiency.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (February 2022): 179–88. http://dx.doi.org/10.53106/199115992022023301016.

Повний текст джерела

Анотація:

<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 model of diesel engine. Hybrid algorithm is used to train the parameter of fuzzy rule, and the final model is established. Simulation experiment results show that the modeling algorithm based on subtractive clustering-ANFIS is effective. It has been found that the average error is 7%, the recognition accuracy is 93.33%. Simulation results show that the fitting ability, convergence speed and recognition accuracy of ANFIS model are all superior to back propagation neural networks (BPNN), and much more suitable as diesel engine fault diagnosis model. Finally, an effective fault diagnosis system is developed by using the given method.</p> <p> </p>

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 training of scientific personnel in higher education institutions and research institutes, using certain networked information and computer technologies and systems. Therefore, the purpose of the study, the current results of which are presented in the article, is to study the problems of applying the methodology of building information-analytical systems (hereinafter – IAS), in particular digital IAS, and to substantiate the basis and highlight in this context the main aspects of creating an ontological model of scientific personnel training (hereinafter – SPT) system as part of a single information space of scientific education. The author raises the problem of the need to apply transdisciplinary methodology of building digital information-analytical system of scientific personnel training in higher education institutions (hereinafter – HEI) and research institutes (hereinafter – RI) of Ukraine in a distance. Particular attention is paid to the ontological modeling of IAS components of the relevant organization of effective scientific and educational (research) process. Also basic definitions of the ontological approach to the training of scientific personnel disclosed. The article considers certain requirements for the design and functioning of intelligent educational systems and programs that provide adaptive information-analytical support of scientific personnel training on the basis of transdisciplinary, system, competence and ontological approaches. The analysis of a certain base of sources (researches and publications) is given. Thus, the methodological basis for building a digital information-analytical system in the specified context is presented and certain fragments of its ontological model are proposed. The presented approbation of applied aspects of the author's research is in the ascertaining stage. Subsequent results of analytical-synthetic and formative stages of the presented doctoral research are passing into the phase of experimental verification and the obtained data will be made public in the following publications of the author.

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 between different objects. Overcoming these objective difficulties became possible with the advent of modern specialized software systems, primarily ANSYS Fluent. Opportunities have appeared for accurate modeling with verification of the results obtained, which implies the use of an effective, well-tested mathematical apparatus. To implement the theory of two-phase flow, two methods based on numerical modeling are mainly used: the Euler-Lagrange method and the Euler-Euler method. The second method is used in the work. Comparative analysis, which investigates two-phase flow around different structures using different turbulence models (including RSM model, SST k-ω model, k-ε model and k-kl-ω model), shows that the k-kl-ω model is the best fit with experiment. ANSYS Fluent supports four multiphase models, i.e. VOF model, Mixture model, Wet Steam and Euler model. Compared to the other three models, the Mixture model provides better stability and lower computational costs, while the Euler model provides better accuracy, but at a higher computational cost . With a rather complex geometry and flow conditions, the use of the RANS approach does not lead to reliable simulation results. Moreover, unsteady turbulent flows cannot be reproduced. In real situations, landslides, saltations, and the suspended state of snow particles are closely related to the real effects of microbursts and bursts present at the surface of the boundary layer. Therefore, in further research, it is advisable to apply alternative approaches to RANS, which include Direct Numerical Simulation (DNS), Large Eddy Simulation (LES), and the hybrid RANS-LES approach to turbulence modeling, which combine efficiency LES techniques in tear-off free zones and the cost-effectiveness of RANS in near-wall areas.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (July 16, 2020): 351–62. http://dx.doi.org/10.4314/njt.v39i2.5.

Повний текст джерела

Анотація:

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 finite element analysis of a tapered cantilever beam acting under an end point load is the C3D20RH (A 20-node quadratic brick, hybrid element with linear pressure and reduced integration) beam element; it predicted an end displacement of 0.05035 m for the tapered width, constant height cantilever beam which was the closest value to the analytical optimum of 0.05352 m. The little difference in the deflection value accounted for the numerical error which is inevitably present in the analyses of structural systems. It is recommended that detailed and accurate numerical analysis be adopted in the design of complex structural systems in order to ascertain the degree of uncertainty in design. Keywords: Deflection, Finite element method, deterministic optimisation, numerical error, cantilever beam.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (July 1, 2020): 173–87. http://dx.doi.org/10.2478/jaiscr-2020-0012.

Повний текст джерела

Анотація:

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 on the screen surface (e.g. in graphic tablets), the angle between the pen and the screen surface, etc. The precision of the on-line signature dynamics processing has been a motivational springboard for developing methods that use signature partitioning. Partitioning uses a well-known principle of decomposing the problem into smaller ones. In this paper, we propose a new partitioning algorithm that uses capabilities of the algorithms based on populations and fuzzy systems. Evolutionary-fuzzy partitioning eliminates the need to average dynamic waveforms in created partitions because it replaces them. Evolutionary separation of partitions results in a better matching of partitions with reference signatures, eliminates dispro-portions between the number of points describing dynamics in partitions, eliminates the impact of random values, separates partitions related to the signing stage and its dynamics (e.g. high and low velocity of signing, where high and low are imprecise-fuzzy concepts). The operation of the presented algorithm has been tested using the well-known BioSecure DS2 database of real dynamic signatures.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (January 27, 2023): 86–98. http://dx.doi.org/10.15407/scine19.01.086.

Повний текст джерела

Анотація:

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 aimed at identifying the interdependence of the sphere of manufacture and transportation of products in order to determine and justify the most efficient means of organization of intermodal and multimodal cargo transportation.Material and Methods. The review of existing scientific developments is based on systematic approach and comparative historical analysis of the transport economy, given the economic, geographical, and geopolitical position of Ukraine. The verification and falsification methods, as well as the economic and mathematical analysis and modeling have been used to substantiate the scholarly and applied approach.Results. The theoretical and practical problems of the transport economy development have been analyzed. The trends in the development of cargo transportation by various means of transport have been identified. The dependence of the products sold (goods, services) on the products transported by means of transport has been simulated. The types of activities, which require transport services and are significant for the national economy have been analyzed. The choice of the most appropriate means of transport for cargo transportation based on intermodality and multimodality, in particular rail, sea, and inland water transport, has been justified.Conclusions. The scholarly and applied approach has been proposed to identify the interdependence of manufacture, intermodal and multimodal cargo transportation of products. It can be used to increase the competitive advantages of Ukraine’s transit potential.

Стилі APA, Harvard, Vancouver, ISO та ін.

41

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (January 2012): 572–87. http://dx.doi.org/10.3166/ejc.18.572-587.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

43

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (September 20, 2021): 2100–2105. http://dx.doi.org/10.1609/aaai.v26i1.8442.

Повний текст джерела

Анотація:

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 та ін.

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 (August 2012): 1–24. http://dx.doi.org/10.1145/2331147.2331163.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

46

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

47

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Hoffmann, Lars, Paul F. Baumeister, Zhongyin Cai, Jan Clemens, Sabine Griessbach, Gebhard Günther, Yi Heng, 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 (April 5, 2022): 2731–62. http://dx.doi.org/10.5194/gmd-15-2731-2022.

Повний текст джерела

Анотація:

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 model. The trajectory calculations conducted within the MPTRAC model were fully ported to GPUs, i.e., except for feeding in the meteorological input data and for extracting the particle output data, the code operates entirely on the GPU devices without frequent data transfers between CPU and GPU memory. Model verification, performance analyses, and scaling tests of the Message Passing Interface (MPI) – Open Multi-Processing (OpenMP) – OpenACC hybrid parallelization of MPTRAC were conducted on the Jülich Wizard for European Leadership Science (JUWELS) Booster supercomputer operated by the Jülich Supercomputing Centre, Germany. The JUWELS Booster comprises 3744 NVIDIA A100 Tensor Core GPUs, providing a peak performance of 71.0 PFlop s−1. As of June 2021, it is the most powerful supercomputer in Europe and listed among the most energy-efficient systems internationally. For large-scale simulations comprising 108 particles driven by the European Centre for Medium-Range Weather Forecasts' fifth-generation reanalysis (ERA5), the performance evaluation showed a maximum speed-up of a factor of 16 due to the utilization of GPUs compared to CPU-only runs on the JUWELS Booster. In the large-scale GPU run, about 67 % of the runtime is spent on the physics calculations, conducted on the GPUs. Another 15 % of the runtime is required for file I/O, mostly to read the large ERA5 data set from disk. Meteorological data preprocessing on the CPUs also requires about 15 % of the runtime. Although this study identified potential for further improvements of the GPU code, we consider the MPTRAC model ready for production runs on the JUWELS Booster in its present form. The GPU code provides a much faster time to solution than the CPU code, which is particularly relevant for near-real-time applications of a Lagrangian transport model.

Стилі APA, Harvard, Vancouver, ISO та ін.

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 (June 2003): 199–204. http://dx.doi.org/10.1016/s1474-6670(17)36431-5.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Статті в журналах з теми "Hybrid systems modeling and verification"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями