Gotowa bibliografia na temat „Ω-automates”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Ω-automates”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Ω-automates"
Brkić, Dejan, i Zoran Stajić. "EXCEL VBA-BASED USER DEFINED FUNCTIONS FOR HIGHLY PRECISE COLEBROOK’S PIPE FLOW FRICTION APPROXIMATIONS: A COMPARATIVE OVERVIEW". Facta Universitatis, Series: Mechanical Engineering 19, nr 2 (11.07.2021): 253. http://dx.doi.org/10.22190/fume210111044b.
Pełny tekst źródłaSasaki, H., H. Nishinaka i K. Shida. "Automated measurement system for 1-Ω standard resistors using a modified Wheatstone bridge". IEEE Transactions on Instrumentation and Measurement 40, nr 2 (kwiecień 1991): 274–77. http://dx.doi.org/10.1109/tim.1990.1032936.
Pełny tekst źródłaOuameur, Mohamed, Renata Vasconcellos i Mohamed Agazar. "Digital Impedance Bridge for Four-Terminal-Pair AC Resistor Calibration up to 20 kHz". Metrology 4, nr 1 (4.01.2024): 1–14. http://dx.doi.org/10.3390/metrology4010001.
Pełny tekst źródłaDe Rosa, Pierluigi, Andrea Fredduzzi i Corrado Cencetti. "Stream Power Determination in GIS: An Index to Evaluate the Most ’Sensitive’Points of a River". Water 11, nr 6 (31.05.2019): 1145. http://dx.doi.org/10.3390/w11061145.
Pełny tekst źródłaNie, Pei, Bin Pan, Muhammd Jamil Ahmad, Xinxin Zhang, Chao Chen, Zhiqiu Yao, Haimiao Lv, Ke Wei i Liguo Yang. "Summer Buffalo Milk Produced in China: A Desirable Diet Enriched in Polyunsaturated Fatty Acids and Amino Acids". Foods 11, nr 21 (2.11.2022): 3475. http://dx.doi.org/10.3390/foods11213475.
Pełny tekst źródłaŠtambuk, Igor. "Precison Automated Measuring System for Accurate Comparison of Resistance Standards and Shunts". Journal of Energy - Energija 67, nr 1 (2.06.2022): 19–22. http://dx.doi.org/10.37798/201867187.
Pełny tekst źródłaRitter, Benedikt, Andreas Vogt i Tibor J. Dunai. "Technical Note: Noble gas extraction procedure and performance of the Cologne Helix MC Plus multi-collector noble gas mass spectrometer for cosmogenic neon isotope analysis". Geochronology 3, nr 2 (19.08.2021): 421–31. http://dx.doi.org/10.5194/gchron-3-421-2021.
Pełny tekst źródłaWang, Xiaodong. "Simultaneous measurement of pole figure and residual stress for polycrystalline thin films: ω–φ′ compensated grazing-incidence diffraction in side-inclination mode". Journal of Applied Crystallography 54, nr 5 (29.09.2021): 1424–36. http://dx.doi.org/10.1107/s1600576721008335.
Pełny tekst źródłaPotap, О. Yu, i А. V. Ivanichyk. "The accuracy of rolling thickness adjustment in conditions of high-frequency disturbances taking into account the speed of roll setting devices". Fundamental and applied problems of ferrous metallurgy 36 (2022): 299–307. http://dx.doi.org/10.52150/2522-9117-2022-36-299-307.
Pełny tekst źródłaBuchmeier, Guilherme Germano, Alexandru Takacs, Daniela Dragomirescu, Juvenal Alarcon Ramos i Amaia Fortes Montilla. "Optimized NFC Circuit and Coil Design for Wireless Power Transfer with 2D Free-Positioning and Low Load Sensibility". Sensors 21, nr 23 (2.12.2021): 8074. http://dx.doi.org/10.3390/s21238074.
Pełny tekst źródłaRozprawy doktorskie na temat "Ω-automates"
Renkin, Florian. "Transformations d’ω-automates pour la synthèse de systèmes réactifs". Electronic Thesis or Diss., Sorbonne université, 2022. http://www.theses.fr/2022SORUS227.
Pełny tekst źródłaSynthesis aims to produce a correct system from specifications. One approach to solve this problem is to translate the specification into a parity game whose winning strategy encodes the system. In this thesis we will show two methods to produce parity automata. The first is based on improving and combining new or existing procedures. The second is an algorithm from Casares et al. providing a guarantee of optimal results. In a second step, we will show how we reduce the obtained system. Two types of reductions will be discussed. The first allows to obtain an optimal result but not the second which privileges the processing time. The third part will describe optimizations that can be used for certain classes of specifications
Aazan, Georges. "Stability of constrained switched systems driven by ω-regular languages". Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPAST137.
Pełny tekst źródłaSwitched systems are dynamical systems with several operating modes, each mode being described by a differential (continuous time) or difference (discrete time) equation. At all times, the active operating mode is determined by a switching signal. Switched systems are very useful in practice for accurately describing the execution of control algorithms on distributed computing infrastructures and thus for taking into account the constraints linked to the use of shared computing and communication resources. Furthermore, switched systems have unexpected properties (unstable behavior can for example result from switching between stable operating modes) that justify the development of specific theoretical tools for their study. Early work on stability of switched systems has focused on stability for switching signals that are arbitrary or that satisfy some (minimum or average) dwell-time condition. More recently, several works have considered the problem of proving stability for subsets of switching signals. In general, such switching signals are assumed to be generated by some finite state automaton and stability is characterized either in term of constrained joint spectral radius or using Lyapunov functions. However, there are some subsets of switching signals that cannot be specified using classical finite state automata. Examples are switching signals belonging to some omega-regular languages e.g. defined by Linear Temporal Logic (LTL) formulas, which are often used to specify scheduling and communication protocols. A representative example of omega-regular language is the set of shuffled switching signals: a switching signal is shuffled if and only if all the modes are activated infinitely often. In a preliminary study, the stability of switched systems under shuffled switching signals was characterized by means of Lyapunov functions. This thesis aims at developing theoretical and numerical tools to analyze the stability of switched systems under shuffled switching signals and more generally under constraints given by an omega-regular language. We define a notion of shuffled joint spectral radius that allows us to quantify the speed of convergence of the switched system under shuffled switching signals. We develop numerical algorithms based on Linear Matrix Inequalities (LMIs) and automata theoretic techniques to compute approximations of the shuffled joint spectral radius. In the second part of the thesis, we extend these results to more general classes of switching signals such as those specified by omega-regular languages. These languages can always be characterized by Büchi automata. Finally, we will present an observer design for switched systems based on the Büchi automata and reconstructible sequences, i.e. sequences allowing to estimate the state of the system. This design consists of an application of our theoretical results
Segelken, Marc [Verfasser]. "Abstraktion und Gegenbeispiel-gelenkte Konstruktion von ω-Automaten [Omega-Automaten] zur Verifikation Schritt-diskreter linearer hybrider Systeme / von Marc Segelken". 2008. http://d-nb.info/989268985/34.
Pełny tekst źródłaCzęści książek na temat "Ω-automates"
Hofmann, Martin, i Martin Lange. "Entscheidungsverfahren für ω-Automaten". W Automatentheorie und Logik, 103–15. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-18090-3_9.
Pełny tekst źródłaLette, Danya, i Azadeh Farzan. "Commutativity for Concurrent Program Termination Proofs". W Computer Aided Verification, 109–31. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37706-8_6.
Pełny tekst źródłaStreszczenia konferencji na temat "Ω-automates"
Briones, Alejandro M., i Brent A. Rankin. "Development of an Open-Source Autonomous CFD Meta-Modeling Environment for Small-Scale Combustor Optimization – Part II". W ASME Turbo Expo 2022: Turbomachinery Technical Conference and Exposition. American Society of Mechanical Engineers, 2022. http://dx.doi.org/10.1115/gt2022-78586.
Pełny tekst źródłaKadhim, Hakim T. K., Aldo Rona, Hayder M. B. Obaida i J. Paul Gostelow. "Numerical Study of the Flow Past an Axial Turbine Stator Casing and Perspectives for its Management". W ASME Turbo Expo 2017: Turbomachinery Technical Conference and Exposition. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/gt2017-63055.
Pełny tekst źródła