Articles de revues sur le sujet « Hybrid systems modeling and verification »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Hybrid systems modeling and verification ».
À 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.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Mosterman, Pieter J., Gautam Biswas et Janos Sztipanovits. « Hybrid Modeling and Verification of Embedded Control Systems ». IFAC Proceedings Volumes 30, no 4 (avril 1997) : 33–38. http://dx.doi.org/10.1016/s1474-6670(17)43608-1.
Texte intégralMotallebi, Hassan, et Mohammad Abdollahi Azgomi. « Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets ». Theoretical Computer Science 446 (août 2012) : 48–74. http://dx.doi.org/10.1016/j.tcs.2012.05.023.
Texte intégralMosterman, Pieter J., Gautam Biswas et Janos Sztipanovits. « A hybrid modeling and verification paradigm for embedded control systems ». Control Engineering Practice 6, no 4 (avril 1998) : 511–21. http://dx.doi.org/10.1016/s0967-0661(98)00045-8.
Texte intégralPark, Jaeyong, Arda Kurt et Ümit Özgüner. « Hybrid Systems Modeling and Reachability-Based Controller Design Methods for Vehicular Automation ». Unmanned Systems 02, no 02 (avril 2014) : 101–19. http://dx.doi.org/10.1142/s2301385014500071.
Texte intégralFRIBOURG, LAURENT, et 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 (février 2013) : 233–49. http://dx.doi.org/10.1142/s0129054113400091.
Texte intégralSchupp, Stefan, Francesco Leofante, Leander Behr, Erika Ábrahám et Armando Taccella. « Robot Swarms as Hybrid Systems : Modelling and Verification ». Electronic Proceedings in Theoretical Computer Science 361 (10 juillet 2022) : 61–77. http://dx.doi.org/10.4204/eptcs.361.7.
Texte intégralLu, Tsung-Yu, Mu-En Wu, Er-Hao Chen et 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.
Texte intégralMaheshwari, 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 (décembre 2021) : 4862–75. http://dx.doi.org/10.1109/tcsi.2021.3122343.
Texte intégralWang, Miaosen, Yuan Xue et Kang Wang. « Modeling and Simulation in an Aircraft Safety Design Based on a Hybrid AHP and FCA Algorithm ». Computational Intelligence and Neuroscience 2022 (27 mai 2022) : 1–11. http://dx.doi.org/10.1155/2022/6424057.
Texte intégralSharykin, Raman E., et Alexander N. Kourbatski. « A model of distributed objectbased stochastic hybrid systems ». Journal of the Belarusian State University. Mathematics and Informatics, no 2 (1 août 2019) : 52–61. http://dx.doi.org/10.33581/2520-6508-2019-2-52-61.
Texte intégralBeyer, Dirk, et Heinrich Rust. « A Tool for Modular Modelling and Verification of Hybrid Systems ». IFAC Proceedings Volumes 33, no 7 (mai 2000) : 169–74. http://dx.doi.org/10.1016/s1474-6670(17)39950-0.
Texte intégralWang, Shuling, Naijun Zhan et Lijun Zhang. « A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems ». Formal Aspects of Computing 29, no 4 (23 février 2017) : 751–75. http://dx.doi.org/10.1007/s00165-017-0421-7.
Texte intégralLavrischeva, Ekaterina Mikhailovna, et 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.
Texte intégralLU, Nan, Xiaodong WANG, Zheng TANG et 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 (août 2022) : 812–18. http://dx.doi.org/10.1051/jnwpu/20224040812.
Texte intégralGlavaski, Sonja, Dharmashankar Subramanian, Kartik Ariyur, Ranjana Ghosh, Nitin Lamba et Antonis Papachristodoulou. « A Nonlinear Hybrid Life Support System : Dynamic Modeling, Control Design, and Safety Verification ». IEEE Transactions on Control Systems Technology 15, no 6 (novembre 2007) : 1003–17. http://dx.doi.org/10.1109/tcst.2007.899649.
Texte intégralKrznar, Matija, Petar Piljek, Denis Kotarski et Danijel Pavković. « Modeling, Control System Design and Preliminary Experimental Verification of a Hybrid Power Unit Suitable for Multirotor UAVs ». Energies 14, no 9 (6 mai 2021) : 2669. http://dx.doi.org/10.3390/en14092669.
Texte intégralMa, Junda, Guoxin Wang, Jinzhi Lu, Shaofan Zhu, Jingjing Chen et Yan Yan. « Semantic Modeling Approach Supporting Process Modeling and Analysis in Aircraft Development ». Applied Sciences 12, no 6 (17 mars 2022) : 3067. http://dx.doi.org/10.3390/app12063067.
Texte intégralTarraf, Ahmad, et Lars Hedrich. « From transistor level to cyber physical/hybrid systems : Formal verification using automatic compositional abstraction ». it - Information Technology 62, no 5-6 (16 décembre 2020) : 257–70. http://dx.doi.org/10.1515/itit-2020-0004.
Texte intégralZERGAT, KAWTHAR YASMINE, et ABDERRAHMANE AMROUCHE. « SVM AGAINST GMM/SVM FOR DIALECT INFLUENCE ON AUTOMATIC SPEAKER RECOGNITION TASK ». International Journal of Computational Intelligence and Applications 13, no 02 (juin 2014) : 1450012. http://dx.doi.org/10.1142/s1469026814500126.
Texte intégralMayer, Gary R., et 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 (mars 2016) : 1541005. http://dx.doi.org/10.1142/s1793962315410056.
Texte intégralAdamiec-Wójcik, I., J. Awrejcewicz, A. Nowak et 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.
Texte intégralMüller, Olaf, et Thomas Stauner. « Modelling and Verification using Linear Hybrid Automata -- a Case Study ». Mathematical and Computer Modelling of Dynamical Systems 6, no 1 (mars 2000) : 71–89. http://dx.doi.org/10.1076/1387-3954(200003)6:1;1-q;ft071.
Texte intégralHamouda, Roua Ben, Imene Ben Hafaiedh et Riadh Robbana. « Modelling and verification of reconfigurable fault-tolerant and self-recovering systems in hybrid Clouds ». Simulation Modelling Practice and Theory 111 (septembre 2021) : 102331. http://dx.doi.org/10.1016/j.simpat.2021.102331.
Texte intégralRichter, H., et 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 (28 avril 2010) : 361–72. http://dx.doi.org/10.1243/09596518jsce839.
Texte intégralYang, Xiaodong, Omar Ali Beg, Matthew Kenigsberg et 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 (30 avril 2022) : 1–24. http://dx.doi.org/10.1145/3470455.
Texte intégralKaplanski, Pawel, Cezary Orłowski, Irena Bach-Dąbrowska et Włodzimierz Wysocki. « Hybrid Fuzzy-Ontological Project Framework of a Team Work Simulation System ». International Journal of Knowledge and Systems Science 7, no 1 (janvier 2016) : 1–24. http://dx.doi.org/10.4018/ijkss.2016010101.
Texte intégralOettingen, Mikołaj. « Assessment of the Radiotoxicity of Spent Nuclear Fuel from a Fleet of PWR Reactors ». Energies 14, no 11 (26 mai 2021) : 3094. http://dx.doi.org/10.3390/en14113094.
Texte intégralLiu, Chan, Liping Chen, Jianwan Ding et Duansen Shangguan. « Modeling of Satellite Constellation in Modelica and a PHM System Framework Driven by Model Data Hybrid ». Electronics 11, no 14 (9 juillet 2022) : 2155. http://dx.doi.org/10.3390/electronics11142155.
Texte intégralYang, Lei, Li Ma, Xiaojie Li, Liansong Xiong, Xinghua Liu, Hui Cao et Junkang Ni. « Modeling and Analysis of N-Branch Hybrid Switched Inductor and Capacitor Converter ». Electronics 10, no 8 (8 avril 2021) : 891. http://dx.doi.org/10.3390/electronics10080891.
Texte intégralJi, Huawei, Bo Lv, Hanqi Ding, Fan Yang, Anqi Qi, Xin Wu et Jing Ni. « Modeling and Control of Hysteresis Characteristics of Piezoelectric Micro-Positioning Platform Based on Duhem Model ». Actuators 11, no 5 (27 avril 2022) : 122. http://dx.doi.org/10.3390/act11050122.
Texte intégralGrübl, Andreas, Sebastian Billaudelle, Benjamin Cramer, Vitali Karasenko et Johannes Schemmel. « Verification and Design Methods for the BrainScaleS Neuromorphic Hardware System ». Journal of Signal Processing Systems 92, no 11 (9 juillet 2020) : 1277–92. http://dx.doi.org/10.1007/s11265-020-01558-7.
Texte intégralKorniienko, V., O. Gerasina, D. Tymofieiev, O. Safarov et Y. Kovalova. « Models of monitoring of self-like traffic of information and communication networks for attack detection systems ». System technologies 6, no 137 (10 décembre 2021) : 99–113. http://dx.doi.org/10.34185/1562-9945-6-137-2021-10.
Texte intégralLucia, Walter, Giuseppe Franzè et Domenico Famularo. « A receding horizon event-driven control strategy for intelligent traffic management ». Discrete Event Dynamic Systems 31, no 3 (30 avril 2021) : 469–88. http://dx.doi.org/10.1007/s10626-020-00337-7.
Texte intégralLu, En, Ning Wang, Wei Zheng, Xuanding Wang, Xingyu Lei, Zhengchun Zhu et Zhaoyu Gong. « Data-Driven Electricity Price Risk Assessment for Spot Market ». International Transactions on Electrical Energy Systems 2022 (31 janvier 2022) : 1–11. http://dx.doi.org/10.1155/2022/9453879.
Texte intégralYing-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 et Guo-Liang Dong Hong Jia. « Research for Fault Diagnosis Method and System for Diesel Engine Based on ANFIS ». 電腦學刊 33, no 1 (février 2022) : 179–88. http://dx.doi.org/10.53106/199115992022023301016.
Texte intégralRostoka, Marina. « THEORETICAL AND METHODOLOGICAL ASPECTS OF ONTOLOGICAL MODELING OF INFORMATION-ANALYTICAL SYSTEM OF SCIENTIFIC PERSONNEL TRAINING ». Computer systems and information technologies, no 3 (28 septembre 2022) : 75–81. http://dx.doi.org/10.31891/csit-2022-3-10.
Texte intégralSurianinov, M. G., S. Jgalli et 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 (28 décembre 2021) : 43–51. http://dx.doi.org/10.31650/2415-377x-2021-85-43-51.
Texte intégralUfe, M. M., S. N. Apebo et 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 (16 juillet 2020) : 351–62. http://dx.doi.org/10.4314/njt.v39i2.5.
Texte intégralZalasiński, Marcin, Krzysztof Cpałka, Łukasz Laskowski, Donald C. Wunsch et 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 (1 juillet 2020) : 173–87. http://dx.doi.org/10.2478/jaiscr-2020-0012.
Texte intégralLaiko, O., S. Ilchenko, N. Maslii et 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 (27 janvier 2023) : 86–98. http://dx.doi.org/10.15407/scine19.01.086.
Texte intégralMustafee, Navonil, Saurabh Mittal, Saikou Diallo et Gregory Zacharewicz. « Hybrid systems modeling ». SIMULATION 94, no 3 (26 février 2018) : 177–78. http://dx.doi.org/10.1177/0037549718758428.
Texte intégralZhang, Lijun, Zhikun She, Stefan Ratschan, Holger Hermanns et Ernst Moritz Hahn. « Safety Verification for Probabilistic Hybrid Systems ». European Journal of Control 18, no 6 (janvier 2012) : 572–87. http://dx.doi.org/10.3166/ejc.18.572-587.
Texte intégralmaler, Oded. « Guest Editorial : Verification of Hybrid Systems ». European Journal of Control 7, no 4 (janvier 2001) : 357–65. http://dx.doi.org/10.3166/ejc.7.357-365.
Texte intégralCimatti, Alessandro, Sergio Mover et Stefano Tonetta. « SMT-Based Verification of Hybrid Systems ». Proceedings of the AAAI Conference on Artificial Intelligence 26, no 1 (20 septembre 2021) : 2100–2105. http://dx.doi.org/10.1609/aaai.v26i1.8442.
Texte intégralWongpiromsarn, Tichakorn, Sayan Mitra, Andrew Lamperski et Richard M. Murray. « Verification of Periodically Controlled Hybrid Systems ». ACM Transactions on Embedded Computing Systems 11, S2 (août 2012) : 1–24. http://dx.doi.org/10.1145/2331147.2331163.
Texte intégralPuri, Anuj, et Pravin Varaiya. « Verification of Hybrid Systems using Abstractions ». IFAC Proceedings Volumes 29, no 1 (juin 1996) : 4899–904. http://dx.doi.org/10.1016/s1474-6670(17)58457-8.
Texte intégralKesten, Yonit, Zohar Manna et Amir Pnueli. « Verification of clocked and hybrid systems ». Acta Informatica 36, no 11 (1 mai 2000) : 837–912. http://dx.doi.org/10.1007/s002360050177.
Texte intégralHoffmann, 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 (5 avril 2022) : 2731–62. http://dx.doi.org/10.5194/gmd-15-2731-2022.
Texte intégralSchiffelers, R. R. H., D. A. van Beek, K. L. Man, M. A. Reniers et J. E. Rooda. « A Hybrid Language for Modeling, Simulation and Verification ». IFAC Proceedings Volumes 36, no 6 (juin 2003) : 199–204. http://dx.doi.org/10.1016/s1474-6670(17)36431-5.
Texte intégralMaler, Oded. « Algorithmic Verification of Continuous and Hybrid Systems ». Electronic Proceedings in Theoretical Computer Science 140 (23 février 2014) : 48–69. http://dx.doi.org/10.4204/eptcs.140.4.
Texte intégral