Статті в журналах з теми "Verification of control systems"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Verification of control systems".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Chen, Mo, and Claire J. Tomlin. "Hamilton–Jacobi Reachability: Some Recent Theoretical Advances and Applications in Unmanned Airspace Management." Annual Review of Control, Robotics, and Autonomous Systems 1, no. 1 (May 28, 2018): 333–58. http://dx.doi.org/10.1146/annurev-control-060117-104941.
Повний текст джерелаDe Smet, Olivier, Jean-Jacques Lesage, and Jean-Marc Roussel. "Formal Verification of Industrial Control Systems." IFAC Proceedings Volumes 34, no. 17 (September 2001): 183–88. http://dx.doi.org/10.1016/s1474-6670(17)33277-9.
Повний текст джерелаZhang, Chi, Wenjie Ruan, and Peipei Xu. "Reachability Analysis of Neural Network Control Systems." Proceedings of the AAAI Conference on Artificial Intelligence 37, no. 12 (June 26, 2023): 15287–95. http://dx.doi.org/10.1609/aaai.v37i12.26783.
Повний текст джерелаHoxha, Bardh. "Verification and Control for Autonomous Mobile Systems." Electronic Proceedings in Theoretical Computer Science 361 (July 10, 2022): 7–8. http://dx.doi.org/10.4204/eptcs.361.3.
Повний текст джерелаHASEGAWA, Masami. "S172026 SIL Verification of Safety Control Systems." Proceedings of Mechanical Engineering Congress, Japan 2013 (2013): _S172026–1—_S172026–4. http://dx.doi.org/10.1299/jsmemecj.2013._s172026-1.
Повний текст джерелаFeketa, Petro, Sergiy Bogomolov, and Thomas Meurer. "Safety Verification for Impulsive Systems." IFAC-PapersOnLine 53, no. 2 (2020): 1949–54. http://dx.doi.org/10.1016/j.ifacol.2020.12.2589.
Повний текст джерелаRasina, Irina Viktorovna, and Oles Vla\-di\-mi\-ro\-vich Fesko. "Sufficient relative minimum conditions for discrete-continuous control systems." Program Systems: Theory and Applications 11, no. 2 (May 10, 2020): 61–73. http://dx.doi.org/10.25209/2079-3316-2020-11-2-61-73.
Повний текст джерелаRawlings, Blake C., Jinkyung Kim, Il Moon, and B. Erik Ydstie. "Symbolic Verification of Control Systems and Operating Procedures." Industrial & Engineering Chemistry Research 53, no. 13 (February 28, 2014): 5299–310. http://dx.doi.org/10.1021/ie402998g.
Повний текст джерела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.
Повний текст джерелаNorman, Gethin, David Parker, and Xueyi Zou. "Verification and control of partially observable probabilistic systems." Real-Time Systems 53, no. 3 (March 8, 2017): 354–402. http://dx.doi.org/10.1007/s11241-017-9269-4.
Повний текст джерелаKarolak, Juliusz, Wiktor B. Daszczuk, Waldemar Grabski, and Andrzej Kochan. "Temporal Verification of Relay-Based Railway Traffic Control Systems Using the Integrated Model of Distributed Systems." Energies 15, no. 23 (November 29, 2022): 9041. http://dx.doi.org/10.3390/en15239041.
Повний текст джерелаBUI, Dinh Ba, Naoki UCHIYAMA, and Shigenori SANO. "D022 Friction compensation in contouring control for biaxial feed drive systems and experimental verification." Proceedings of International Conference on Leading Edge Manufacturing in 21st century : LEM21 2013.7 (2013): 547–52. http://dx.doi.org/10.1299/jsmelem.2013.7.547.
Повний текст джерелаKim, Dong Hwan, Moon-Chul Choi, and Joo-Hoon Baek. "Performance Verification of Semi-Active and Active Impact Control Systems." Journal of Vibration and Control 10, no. 6 (June 2004): 811–36. http://dx.doi.org/10.1177/1077546304036612.
Повний текст джерелаMohajerani, Sahar, and Stephane Lafortune. "Transforming Opacity Verification to Nonblocking Verification in Modular Systems." IEEE Transactions on Automatic Control 65, no. 4 (April 2020): 1739–46. http://dx.doi.org/10.1109/tac.2019.2934708.
Повний текст джерелаEaston, Colin. "Safety Integrity Verification of Legacy Systems." Measurement and Control 42, no. 6 (July 2009): 185–89. http://dx.doi.org/10.1177/002029400904200605.
Повний текст джерелаBalun, Jiří, and Tomáš Masopust. "On Opacity Verification for Discrete-Event Systems." IFAC-PapersOnLine 53, no. 2 (2020): 2075–80. http://dx.doi.org/10.1016/j.ifacol.2020.12.2524.
Повний текст джерелаSzcześniak, Paweł, Iwona Grobelna, Mateja Novak, and Ulrik Nyman. "Overview of Control Algorithm Verification Methods in Power Electronics Systems." Energies 14, no. 14 (July 19, 2021): 4360. http://dx.doi.org/10.3390/en14144360.
Повний текст джерелаGrobelna, Iwona. "Formal Verification of Control Modules in Cyber-Physical Systems." Sensors 20, no. 18 (September 10, 2020): 5154. http://dx.doi.org/10.3390/s20185154.
Повний текст джерелаHai, Lin. "Hybrid Dynamical Systems: An Introduction to Control and Verification." Foundations and Trends® in Systems and Control 1, no. 1 (2014): 1–172. http://dx.doi.org/10.1561/2600000001.
Повний текст джерелаAlwi, Saifulza, and Yasutaka Fujimoto. "Formal Verification of Logic Control Systems with Nondeterministic Behaviors." IEEJ Journal of Industry Applications 2, no. 6 (2013): 306–14. http://dx.doi.org/10.1541/ieejjia.2.306.
Повний текст джерелаGirgis, G. K., and H. D. Vu. "Verification of limiter performance in modern excitation control systems." IEEE Transactions on Energy Conversion 10, no. 3 (1995): 538–42. http://dx.doi.org/10.1109/60.464879.
Повний текст джерелаBranicky, Michael S., Michael M. Curtiss, Joshua Levine, and Stuart Morgan. "SAMPLING-BASED PLANNING, CONTROL, AND VERIFICATION OF HYBRID SYSTEMS." IFAC Proceedings Volumes 38, no. 1 (2005): 271–76. http://dx.doi.org/10.3182/20050703-6-cz-1902.00330.
Повний текст джерелаYau, S. S., and W. Hong. "Verification of concurrent control flow in distributed computer systems." IEEE Transactions on Software Engineering 14, no. 4 (April 1988): 405–17. http://dx.doi.org/10.1109/32.4662.
Повний текст джерелаVölker, Norbert, and Bernd J. Krämer. "Modular Verification of Function Block Based Industrial Control Systems." IFAC Proceedings Volumes 32, no. 1 (May 1999): 159–64. http://dx.doi.org/10.1016/s1474-6670(17)39981-0.
Повний текст джерелаVölker, Norbert, and Bernd J. Krämer. "Automated Verification of Function Block Based Industrial Control Systems." Electronic Notes in Theoretical Computer Science 25 (1999): 97–110. http://dx.doi.org/10.1016/s1571-0661(04)00135-5.
Повний текст джерелаBroquet, J., B. Claudinon, E. d'Andrimont, and A. Benoit. "GNC and Automatic Control Systems Development, Validation and Verification." IFAC Proceedings Volumes 25, no. 22 (September 1992): 11–21. http://dx.doi.org/10.1016/s1474-6670(17)49631-5.
Повний текст джерелаVölker, Norbert, and Bernd J. Krämer. "Automated verification of function block-based industrial control systems." Science of Computer Programming 42, no. 1 (January 2002): 101–13. http://dx.doi.org/10.1016/s0167-6423(01)00028-4.
Повний текст джерелаYang, MengFei, Zheng Wang, GeGuang Pu, ShengChao Qin, Bin Gu, and JiFeng He. "The stochastic semantics and verification for periodic control systems." Science China Information Sciences 55, no. 12 (December 2012): 2675–93. http://dx.doi.org/10.1007/s11432-012-4750-0.
Повний текст джерелаBranicky, M. S., S. Morgan, J. Levine, and M. M. Curtiss. "Sampling-based planning, control and verification of hybrid systems." IEE Proceedings - Control Theory and Applications 153, no. 5 (September 1, 2006): 575–90. http://dx.doi.org/10.1049/ip-cta:20050152.
Повний текст джерелаSanchez-Reillo, R., and C. Sanchez-Avila. "Fingerprint verification using smart cards for access control systems." IEEE Aerospace and Electronic Systems Magazine 17, no. 9 (September 2002): 12–15. http://dx.doi.org/10.1109/maes.2002.1039788.
Повний текст джерелаLucia, W., D. Famularo, G. Franzè, and A. Furfaro. "Verification and Control of Hybrid Systems Under Safety Requirements." IFAC-PapersOnLine 51, no. 25 (2018): 61–66. http://dx.doi.org/10.1016/j.ifacol.2018.11.082.
Повний текст джерелаMoon, Il, Gary J. Powers, Jerry R. Burch, and Edmund M. Clarke. "Automatic verification of sequential control systems using temporal logic." AIChE Journal 38, no. 1 (January 1992): 67–75. http://dx.doi.org/10.1002/aic.690380107.
Повний текст джерелаKartbayev, Amandyk. "An initial study of quality assurance techniques for automated water level control systems." E3S Web of Conferences 402 (2023): 03039. http://dx.doi.org/10.1051/e3sconf/202340203039.
Повний текст джерелаSakai, Kazuya, Min-Te Sun, Wei-Shinn Ku, Hua Lu, and Ten H. Lai. "Data Verification in Integrated RFID Systems." IEEE Systems Journal 13, no. 2 (June 2019): 1969–80. http://dx.doi.org/10.1109/jsyst.2018.2865571.
Повний текст джерелаKOGISO, Kiminao, Hiroshi MINEMURA, and Kenji HIRATA. "Verification of Reference Governor Control Approaches to Experimental Systems with Control Constraints." Transactions of the Japan Society of Mechanical Engineers Series C 69, no. 681 (2003): 1238–46. http://dx.doi.org/10.1299/kikaic.69.1238.
Повний текст джерелаZhao, Chunna, Murong Jiang, and Yaqun Huang. "Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic." Fractal and Fractional 6, no. 9 (August 30, 2022): 485. http://dx.doi.org/10.3390/fractalfract6090485.
Повний текст джерелаLuther, Mark E., Guy Meadows, Earle Buckley, Sherryl A. Gilbert, Heidi Purcell, and Mario N. Tamburri. "Verification of Wave Measurement Systems." Marine Technology Society Journal 47, no. 5 (September 1, 2013): 104–16. http://dx.doi.org/10.4031/mtsj.47.5.11.
Повний текст джерелаAraiza-Illan, Dejanira, Michael Fisher, Kevin Leahy, Joanna Isabelle Olszewska, and Signe Redfield. "Verification of Autonomous Systems [TC Spotlight]." IEEE Robotics & Automation Magazine 29, no. 1 (March 2022): 99–101. http://dx.doi.org/10.1109/mra.2022.3143966.
Повний текст джерелаLechner, Mathias, Đorđe Žikelić, Krishnendu Chatterjee, and Thomas A. Henzinger. "Stability Verification in Stochastic Control Systems via Neural Network Supermartingales." Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 7 (June 28, 2022): 7326–36. http://dx.doi.org/10.1609/aaai.v36i7.20695.
Повний текст джерелаCheminod, Manuel, Luca Durante, Lucia Seno, and Adriano Valenzano. "Semiautomated Verification of Access Control Implementation in Industrial Networked Systems." IEEE Transactions on Industrial Informatics 11, no. 6 (December 2015): 1388–99. http://dx.doi.org/10.1109/tii.2015.2489181.
Повний текст джерелаRohloff, Kurt, and Stéphane Lafortune. "The Verification and Control of Interacting Similar Discrete-Event Systems." SIAM Journal on Control and Optimization 45, no. 2 (January 2006): 634–67. http://dx.doi.org/10.1137/040610209.
Повний текст джерелаMéry, Dominique, and Jean-Francois Pétin. "Formal Engineering Methods for Modelling and Verification of Control Systems." IFAC Proceedings Volumes 31, no. 15 (June 1998): 141–46. http://dx.doi.org/10.1016/s1474-6670(17)40543-x.
Повний текст джерела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.
Повний текст джерелаTran, Hoang-Dung, Feiyang Cai, Manzanas Lopez Diego, Patrick Musau, Taylor T. Johnson, and Xenofon Koutsoukos. "Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control." ACM Transactions on Embedded Computing Systems 18, no. 5s (October 19, 2019): 1–22. http://dx.doi.org/10.1145/3358230.
Повний текст джерелаBraman, Julia M. B., and Richard M. Murray. "Bisimulation conversion and verification procedure for goal-based control systems." Formal Methods in System Design 38, no. 1 (December 22, 2010): 62–95. http://dx.doi.org/10.1007/s10703-010-0109-6.
Повний текст джерелаCui, Jingyu, and Yuze Xia. "Diagnosability verification of discrete event systems." Applied and Computational Engineering 6, no. 1 (June 14, 2023): 324–30. http://dx.doi.org/10.54254/2755-2721/6/20230801.
Повний текст джерелаTomasz, Barnert, Kosmowski Kazimierz, and Śliwiński Marcin. "Security Aspects in Verification of the Safety Integrity Level of Distributed Control and Protection Systems." Journal of Konbin 6, no. 3 (January 1, 2008): 25–40. http://dx.doi.org/10.2478/v10040-008-0056-0.
Повний текст джерелаGuéguen, Hervé, Marie-Anne Lefebvre, Janan Zaytoon, and Othman Nasri. "Safety verification and reachability analysis for hybrid systems." Annual Reviews in Control 33, no. 1 (April 2009): 25–36. http://dx.doi.org/10.1016/j.arcontrol.2009.03.002.
Повний текст джерелаISHIHARA, Nijihiko, Yuichi CHIDA, and Masaya TANEMURA. "Experimental verification of multirate and Model Predictive Control for discrete-valued control systems." Mechanical Engineering Journal 8, no. 5 (2021): 21–00043. http://dx.doi.org/10.1299/mej.21-00043.
Повний текст джерелаPomirski, Janusz, Andrzej Rak, and Witold Gierusz. "Control system for trials on material ship model." Polish Maritime Research 19, Special (October 1, 2012): 25–30. http://dx.doi.org/10.2478/v10012-012-0019-1.
Повний текст джерела