Log in

Relevant bibliographies by topics / Hybrid systems modeling and verification

Contents

Journal articles

Academic literature 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 lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "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 (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 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, 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 literature.

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 (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, and other styles

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.

Full text

Abstract:

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, and other styles

More sources

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!