Добірка наукової літератури з теми "Verification of control systems"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Verification of control systems".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Verification of control systems"
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.
Повний текст джерелаДисертації з теми "Verification of control systems"
Wang, Xuan. "Verification of digital controller implementations /." Diss., CLICK HERE for online access, 2005. http://contentdm.lib.byu.edu/ETD/image/etd1073.pdf.
Повний текст джерелаKoleini, Masoud. "Verification of temporal-epistemic properties of access control systems." Thesis, University of Birmingham, 2012. http://etheses.bham.ac.uk//id/eprint/3706/.
Повний текст джерелаLahijanian, Morteza M. "Formal verification and control of discrete-time stochastic systems." Thesis, Boston University, 2013. https://hdl.handle.net/2144/12804.
Повний текст джерелаThis thesis establishes theoretical and computational frameworks for formal verification and control synthesis for discrete-time stochastic systems. Given a temporal logic specification, the system is analyzed to determine the probability that the specification is achieved, and an input law is automatically generated to maximize this probability. The approach consists of three main steps: constructing an abstraction of the stochastic system as a finite Markov model, mapping the given specification onto this abstraction, and finding a control policy to maximize the probability of satisfying the specification. The framework uses Probabilistic Computation Tree Logic (PCTL) as the specification language. The verification and synthesis algorithms are inspired by the field of probabilistic model checking. In abstraction, a method for the computation of the exact transition probability bounds between the regions of interest in the domain of the stochastic system is first developed. These bounds are then used to construct an Interval-valued Markov Chain (IMC) or a Bounded-parameter Markov Decision Process (BMDP) abstraction for the system. Then, a representative transition probability is used to construct an approximating Markov chain (MC) for the stochastic system. The exact bound of the approximation error and an explicit expression for its grovvth over time are derived. To achieve a desired error value, an adaptive refinement algorithm that takes advantage of the linear dynamics of the system is employed. To verify the properties of the continuous domain stochastic system against a finite-time PCTL specification, IMC and BMDP verification algorithms are designed. These algorithms have low computational complexity and are inspired by the MC model checking algorithms. The low computational complexity is achieved by over approximating the probabilities of satisfaction. To increase the precision of the method, two adaptive refinement procedures are proposed. Furthermore, a method of generating the control strategy that maximizes the probability of satisfaction of a PCTL specification for Markov Decision Processes (MDPs) is developed. Through a similar method, a formal synthesis framework is constructed for continuous domain stochastic systems by utilizing their BMDP abstractions. These methodologies are then applied in robotics applications as a means of automatically deploying a mobile robot subject to noisy sensors and actuators from PCTL specifications. This technique is demonstrated through simulation and experimental case studies of deployment of a robot in an indoor environment. The contributions of the thesis include verification and synthesis frameworks for discrete time stochastic linear systems, abstraction schemes for stochastic systems to MCs, IMCs, and BMDPs, model checking algorithms with low computational complexity for IMCs and BMDPs against finite-time PCTL formulas, synthesis algorithms for Markov Decision Processes (MDPs) from PCTL formulas, and a computational framework for automatic deployment of a mobile robot from PCTL specifications. The approaches were validated by simulations and experiments. The algorithms and techniques in this thesis help to make discrete-time stochastic systems a more useful and effective class of models for analysis and control of real world systems.
de, Carvalho Gomes Pedro, and Attilio Picoco. "Sound Extraction of Control-Flow Graphs from open Java Bytecode Systems." KTH, Teoretisk datalogi, TCS, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-104076.
Повний текст джерелаQC 20121029
Verification of Control-Flow Properties of Programs with Procedures(CVPP)
Danielsson, Fredrik K. J. "Off-line programming, verification and optimisation of industrial control systems." Thesis, De Montfort University, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.269247.
Повний текст джерелаPark, Taeshin 1966. "Formal verification and dynamic validation of logic-based control systems." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/50358.
Повний текст джерелаHa, Vida Uyen 1980. "Verification of an attitude control system." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/87408.
Повний текст джерелаIncludes bibliographical references (p. 74).
by Vida Uyen Ha.
M.Eng.and S.B.
STESINA, FABRIZIO. "Design and verification of Guidance, Navigation and Control systems for space applications." Doctoral thesis, Politecnico di Torino, 2014. http://hdl.handle.net/11583/2540688.
Повний текст джерелаLow, Marie Rose. "Self defence in open systems : protecting and sharing resources in a distributed open environment." Thesis, University of Hertfordshire, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.241623.
Повний текст джерелаHu, Zhongjun. "Switching-Based Harmonic Disturbance Rejection for Uncertain Systems: An Experimental Verification." The Ohio State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1577987902093915.
Повний текст джерелаКниги з теми "Verification of control systems"
Tabuada, Paulo. Verification and Control of Hybrid Systems. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5.
Повний текст джерелаservice), SpringerLink (Online, ed. Verification and Control of Hybrid Systems: A Symbolic Approach. Boston, MA: Springer-Verlag US, 2009.
Знайти повний текст джерелаLempert, Robert J. Emerging technology systems and arms control. Santa Monica, CA: Rand, 1991.
Знайти повний текст джерелаApt, Kenneth E. A systems approach to chemical weapons verification. Los Alamos, N.M: Center for National Security Studies, Los Alamos National Laboratory, 1990.
Знайти повний текст джерелаVerification, validation, and testing of engineered systems. Hoboken, N.J: Wiley, 2010.
Знайти повний текст джерелаDanielsson, Fredrik K. J. Off-line programming, verification and optimisation of industrial control systems. Leicester: De Montfort University, 2002.
Знайти повний текст джерелаM, Schwenk David, and US Army Engineering and Housing Support Center., eds. Standard HVAC control systems commissioning and quality verification user guide. Fort Belvoir, VA: U.S. Army Engineering and Housing Support Center, 1994.
Знайти повний текст джерелаL, Wilson C. Simple test procedure for image-based biometric verification systems. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1999.
Знайти повний текст джерела1944-, Wise John A., Hopkin V. David, Stager Paul, North Atlantic Treaty Organization. Scientific Affairs Division., and NATO Advanced Study Institute and Validation of Complex and Integrated Human-Machine Systems (1992 : Vimeiro, Lisbon, Portugal), eds. Verification and validation of complex systems: Human factors issues. Berlin: Springer-Verlag, 1993.
Знайти повний текст джерела1944-, Wise John A., Hopkin V. David, Stager Paul, and NATO Advanced Study Institute and Validation of Complex and Integrated Human-Machine Systems (1992 : Vimeiro, Lisbon, Portugal), eds. Verification and validation of complex systems: Additional human factors issues. Daytona Beach, Fla: Embry-Riddle Aeronautical University Press, 1993.
Знайти повний текст джерелаЧастини книг з теми "Verification of control systems"
Yadegari, Babak, and Saumya Debray. "Control Dependencies in Interpretive Systems." In Runtime Verification, 312–29. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67531-2_19.
Повний текст джерелаTabuada, Paulo. "Verification." In Verification and Control of Hybrid Systems, 43–50. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5_5.
Повний текст джерелаKurzhanski, Alexander B., and Pravin Varaiya. "Verification: Hybrid Systems." In Systems & Control: Foundations & Applications, 395–429. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10277-1_11.
Повний текст джерелаGirard, Antoine, and George J. Pappas. "Verification Using Simulation." In Hybrid Systems: Computation and Control, 272–86. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11730637_22.
Повний текст джерелаTabuada, Paulo. "Control." In Verification and Control of Hybrid Systems, 51–70. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5_6.
Повний текст джерелаTabuada, Paulo. "Systems." In Verification and Control of Hybrid Systems, 1–20. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5_1.
Повний текст джерелаTabuada, Paulo. "Control problems." In Verification and Control of Hybrid Systems, 25–26. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5_3.
Повний текст джерелаFehnker, Ansgar, and Franjo Ivančić. "Benchmarks for Hybrid Systems Verification." In Hybrid Systems: Computation and Control, 326–41. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-24743-2_22.
Повний текст джерелаZutshi, Aditya, Sriram Sankaranarayanan, and Ashish Tiwari. "Timed Relational Abstractions for Sampled Data Control Systems." In Computer Aided Verification, 343–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31424-7_27.
Повний текст джерелаMajumdar, Rupak, and Majid Zamani. "Approximately Bisimilar Symbolic Models for Digital Control Systems." In Computer Aided Verification, 362–77. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31424-7_28.
Повний текст джерелаТези доповідей конференцій з теми "Verification of control systems"
Araiza-Illan, Dejanira, Kerstin Eder, and Arthur Richards. "Formal verification of control systems' properties with theorem proving." In 2014 UKACC International Conference on Control (CONTROL). IEEE, 2014. http://dx.doi.org/10.1109/control.2014.6915147.
Повний текст джерелаKumar, R., and B. H. Krogh. "Heterogeneous verification of embedded control systems." In 2006 American Control Conference. IEEE, 2006. http://dx.doi.org/10.1109/acc.2006.1657445.
Повний текст джерелаJin, Xiaoqing, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, and Ken Butts. "Powertrain control verification benchmark." In HSCC'14: 17th International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2014. http://dx.doi.org/10.1145/2562059.2562140.
Повний текст джерелаFang, Huixing, Jian Guo, Huibiao Zhu, and Jianqi Shi. "Formal Verification and Simulation: Co-verification for Subway Control Systems." In 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2012. http://dx.doi.org/10.1109/tase.2012.11.
Повний текст джерелаRoohi, Nima, Yu Wang, Matthew West, Geir E. Dullerud, and Mahesh Viswanathan. "Statistical Verification of the Toyota Powertrain Control Verification Benchmark." In HSCC '17: 20th International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3049797.3049804.
Повний текст джерелаGaravello, Mauro. "Verification Theorems for HJB equations." In Control Systems: Theory, Numerics and Applications. Trieste, Italy: Sissa Medialab, 2006. http://dx.doi.org/10.22323/1.018.0021.
Повний текст джерелаAnand, Mahathi, Vishnu Murali, Ashutosh Trivedi, and Majid Zamani. "Formal verification of hyperproperties for control systems." In CPS-IoT Week '21: Cyber-Physical Systems and Internet of Things Week 2021. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3457335.3461715.
Повний текст джерелаTiwari, Ashish. "Bounded Verification of Adaptive Flight Control Systems." In AIAA Infotech@Aerospace 2010. Reston, Virigina: American Institute of Aeronautics and Astronautics, 2010. http://dx.doi.org/10.2514/6.2010-3362.
Повний текст джерелаFainekos, Georgios E., and George J. Pappas. "MTL robust testing and verification for LPV systems." In 2009 American Control Conference. IEEE, 2009. http://dx.doi.org/10.1109/acc.2009.5159969.
Повний текст джерелаWang, Li, and Yu Wensheng. "Systems safety verification by boundary variation analysis." In 2015 34th Chinese Control Conference (CCC). IEEE, 2015. http://dx.doi.org/10.1109/chicc.2015.7260097.
Повний текст джерелаЗвіти організацій з теми "Verification of control systems"
May, William B., and George E. Kelly. Verification of public domain control algorithms for building energy management and control systems. Gaithersburg, MD: National Bureau of Standards, 1985. http://dx.doi.org/10.6028/nbs.ir.85-3285.
Повний текст джерелаMittelsteadt, Matthew. AI Verification: Mechanisms to Ensure AI Arms Control Compliance. Center for Security and Emerging Technology, February 2021. http://dx.doi.org/10.51593/20190020.
Повний текст джерелаPodvig, Pavel, Markus Schiller, Amy Woolf, Christine Parthemore, Almudena Azcárate Ortega, Dmitry Stefanovich, and Decker Eveleth. Exploring Options for Missile Verification. Edited by Pavel Podvig. The United Nations Institute for Disarmament Research, March 2022. http://dx.doi.org/10.37559/wmd/22/misver/01.
Повний текст джерелаRaksincharoensak, Pongsathorn, Yutaka Ofuji, Motoki Shino, and Masao Nagai. Experimental Study on Intelligent Driving Assistance System by Using Direct Yaw Moment Control~Lane Keeping Control System Verification by Actual Driving Test. Warrendale, PA: SAE International, May 2005. http://dx.doi.org/10.4271/2005-08-0252.
Повний текст джерелаMcNeece, S. G., and R. W. Truitt. System verification and validation plan for SY-101 Hydrogen Mitigation Test Project Data Acquisition and Control System (DACS-1). Office of Scientific and Technical Information (OSTI), September 1994. http://dx.doi.org/10.2172/10103601.
Повний текст джерелаKrabill, Eleanor, Vivienne Zhang, Eric Lepowsky, Christoph Wirz, Alexander Glaser, Jaewoo Shin, Veronika Bedenko, and Pavel Podvig. Menzingen Verification Experiment - Verifying the Absence of Nuclear Weapons in the Field. Edited by Pavel Podvig. The United Nations Institute for Disarmament Research, July 2023. http://dx.doi.org/10.37559/wmd/23/mve.
Повний текст джерелаErmi, A. M., G. J. Gauck, and S. O. Smith. System verification and validation plan for SY-101 hydrogen mitigation test project data acquisition and control system (DACS-1). Revision 1. Office of Scientific and Technical Information (OSTI), June 1995. http://dx.doi.org/10.2172/408579.
Повний текст джерелаFindlay, Trevor. The Role of International Organizations in WMD Compliance and Enforcement: Autonomy, Agency, and Influence. The United Nations Institute for Disarmament Research, December 2020. http://dx.doi.org/10.37559/wmd/20/wmdce9.
Повний текст джерелаMayer, Barbara A., and Monica M. Lu. Guidelines for Formal Verification Systems. Fort Belvoir, VA: Defense Technical Information Center, April 1989. http://dx.doi.org/10.21236/ada385357.
Повний текст джерелаSTEWART, J. L. Technical safety requirements control level verification. Office of Scientific and Technical Information (OSTI), May 1999. http://dx.doi.org/10.2172/782336.
Повний текст джерела