Littérature scientifique sur le sujet « Ω-automates »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Ω-automates ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Ω-automates"
Brkić, Dejan, et 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, no 2 (11 juillet 2021) : 253. http://dx.doi.org/10.22190/fume210111044b.
Texte intégralSasaki, H., H. Nishinaka et K. Shida. « Automated measurement system for 1-Ω standard resistors using a modified Wheatstone bridge ». IEEE Transactions on Instrumentation and Measurement 40, no 2 (avril 1991) : 274–77. http://dx.doi.org/10.1109/tim.1990.1032936.
Texte intégralOuameur, Mohamed, Renata Vasconcellos et Mohamed Agazar. « Digital Impedance Bridge for Four-Terminal-Pair AC Resistor Calibration up to 20 kHz ». Metrology 4, no 1 (4 janvier 2024) : 1–14. http://dx.doi.org/10.3390/metrology4010001.
Texte intégralDe Rosa, Pierluigi, Andrea Fredduzzi et Corrado Cencetti. « Stream Power Determination in GIS : An Index to Evaluate the Most ’Sensitive’Points of a River ». Water 11, no 6 (31 mai 2019) : 1145. http://dx.doi.org/10.3390/w11061145.
Texte intégralNie, Pei, Bin Pan, Muhammd Jamil Ahmad, Xinxin Zhang, Chao Chen, Zhiqiu Yao, Haimiao Lv, Ke Wei et Liguo Yang. « Summer Buffalo Milk Produced in China : A Desirable Diet Enriched in Polyunsaturated Fatty Acids and Amino Acids ». Foods 11, no 21 (2 novembre 2022) : 3475. http://dx.doi.org/10.3390/foods11213475.
Texte intégralŠtambuk, Igor. « Precison Automated Measuring System for Accurate Comparison of Resistance Standards and Shunts ». Journal of Energy - Energija 67, no 1 (2 juin 2022) : 19–22. http://dx.doi.org/10.37798/201867187.
Texte intégralRitter, Benedikt, Andreas Vogt et 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, no 2 (19 août 2021) : 421–31. http://dx.doi.org/10.5194/gchron-3-421-2021.
Texte intégralWang, 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, no 5 (29 septembre 2021) : 1424–36. http://dx.doi.org/10.1107/s1600576721008335.
Texte intégralPotap, О. Yu, et А. 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.
Texte intégralBuchmeier, Guilherme Germano, Alexandru Takacs, Daniela Dragomirescu, Juvenal Alarcon Ramos et Amaia Fortes Montilla. « Optimized NFC Circuit and Coil Design for Wireless Power Transfer with 2D Free-Positioning and Low Load Sensibility ». Sensors 21, no 23 (2 décembre 2021) : 8074. http://dx.doi.org/10.3390/s21238074.
Texte intégralThèses sur le sujet "Ω-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.
Texte intégralSynthesis 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.
Texte intégralSwitched 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.
Texte intégralChapitres de livres sur le sujet "Ω-automates"
Hofmann, Martin, et Martin Lange. « Entscheidungsverfahren für ω-Automaten ». Dans Automatentheorie und Logik, 103–15. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-18090-3_9.
Texte intégralLette, Danya, et Azadeh Farzan. « Commutativity for Concurrent Program Termination Proofs ». Dans Computer Aided Verification, 109–31. Cham : Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37706-8_6.
Texte intégralActes de conférences sur le sujet "Ω-automates"
Briones, Alejandro M., et Brent A. Rankin. « Development of an Open-Source Autonomous CFD Meta-Modeling Environment for Small-Scale Combustor Optimization – Part II ». Dans ASME Turbo Expo 2022 : Turbomachinery Technical Conference and Exposition. American Society of Mechanical Engineers, 2022. http://dx.doi.org/10.1115/gt2022-78586.
Texte intégralKadhim, Hakim T. K., Aldo Rona, Hayder M. B. Obaida et J. Paul Gostelow. « Numerical Study of the Flow Past an Axial Turbine Stator Casing and Perspectives for its Management ». Dans ASME Turbo Expo 2017 : Turbomachinery Technical Conference and Exposition. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/gt2017-63055.
Texte intégral