Literatura académica sobre el tema "Verification of control systems"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Verification of control systems".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Verification of control systems"
Chen, Mo y 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, n.º 1 (28 de mayo de 2018): 333–58. http://dx.doi.org/10.1146/annurev-control-060117-104941.
Texto completoDe Smet, Olivier, Jean-Jacques Lesage y Jean-Marc Roussel. "Formal Verification of Industrial Control Systems". IFAC Proceedings Volumes 34, n.º 17 (septiembre de 2001): 183–88. http://dx.doi.org/10.1016/s1474-6670(17)33277-9.
Texto completoZhang, Chi, Wenjie Ruan y Peipei Xu. "Reachability Analysis of Neural Network Control Systems". Proceedings of the AAAI Conference on Artificial Intelligence 37, n.º 12 (26 de junio de 2023): 15287–95. http://dx.doi.org/10.1609/aaai.v37i12.26783.
Texto completoHoxha, Bardh. "Verification and Control for Autonomous Mobile Systems". Electronic Proceedings in Theoretical Computer Science 361 (10 de julio de 2022): 7–8. http://dx.doi.org/10.4204/eptcs.361.3.
Texto completoHASEGAWA, 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.
Texto completoFeketa, Petro, Sergiy Bogomolov y Thomas Meurer. "Safety Verification for Impulsive Systems". IFAC-PapersOnLine 53, n.º 2 (2020): 1949–54. http://dx.doi.org/10.1016/j.ifacol.2020.12.2589.
Texto completoRasina, Irina Viktorovna y Oles Vla\-di\-mi\-ro\-vich Fesko. "Sufficient relative minimum conditions for discrete-continuous control systems". Program Systems: Theory and Applications 11, n.º 2 (10 de mayo de 2020): 61–73. http://dx.doi.org/10.25209/2079-3316-2020-11-2-61-73.
Texto completoRawlings, Blake C., Jinkyung Kim, Il Moon y B. Erik Ydstie. "Symbolic Verification of Control Systems and Operating Procedures". Industrial & Engineering Chemistry Research 53, n.º 13 (28 de febrero de 2014): 5299–310. http://dx.doi.org/10.1021/ie402998g.
Texto completoMosterman, Pieter J., Gautam Biswas y Janos Sztipanovits. "Hybrid Modeling and Verification of Embedded Control Systems". IFAC Proceedings Volumes 30, n.º 4 (abril de 1997): 33–38. http://dx.doi.org/10.1016/s1474-6670(17)43608-1.
Texto completoNorman, Gethin, David Parker y Xueyi Zou. "Verification and control of partially observable probabilistic systems". Real-Time Systems 53, n.º 3 (8 de marzo de 2017): 354–402. http://dx.doi.org/10.1007/s11241-017-9269-4.
Texto completoTesis sobre el tema "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.
Texto completoKoleini, Masoud. "Verification of temporal-epistemic properties of access control systems". Thesis, University of Birmingham, 2012. http://etheses.bham.ac.uk//id/eprint/3706/.
Texto completoLahijanian, Morteza M. "Formal verification and control of discrete-time stochastic systems". Thesis, Boston University, 2013. https://hdl.handle.net/2144/12804.
Texto completoThis 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 y 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.
Texto completoQC 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.
Texto completoPark, 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.
Texto completoHa, Vida Uyen 1980. "Verification of an attitude control system". Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/87408.
Texto completoIncludes 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.
Texto completoLow, 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.
Texto completoHu, 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.
Texto completoLibros sobre el tema "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.
Texto completoservice), SpringerLink (Online, ed. Verification and Control of Hybrid Systems: A Symbolic Approach. Boston, MA: Springer-Verlag US, 2009.
Buscar texto completoLempert, Robert J. Emerging technology systems and arms control. Santa Monica, CA: Rand, 1991.
Buscar texto completoApt, Kenneth E. A systems approach to chemical weapons verification. Los Alamos, N.M: Center for National Security Studies, Los Alamos National Laboratory, 1990.
Buscar texto completoVerification, validation, and testing of engineered systems. Hoboken, N.J: Wiley, 2010.
Buscar texto completoDanielsson, Fredrik K. J. Off-line programming, verification and optimisation of industrial control systems. Leicester: De Montfort University, 2002.
Buscar texto completoM, Schwenk David y 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.
Buscar texto completoL, 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.
Buscar texto completo1944-, Wise John A., Hopkin V. David, Stager Paul, North Atlantic Treaty Organization. Scientific Affairs Division. y 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.
Buscar texto completo1944-, Wise John A., Hopkin V. David, Stager Paul y 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.
Buscar texto completoCapítulos de libros sobre el tema "Verification of control systems"
Yadegari, Babak y Saumya Debray. "Control Dependencies in Interpretive Systems". En Runtime Verification, 312–29. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67531-2_19.
Texto completoTabuada, Paulo. "Verification". En 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.
Texto completoKurzhanski, Alexander B. y Pravin Varaiya. "Verification: Hybrid Systems". En Systems & Control: Foundations & Applications, 395–429. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10277-1_11.
Texto completoGirard, Antoine y George J. Pappas. "Verification Using Simulation". En Hybrid Systems: Computation and Control, 272–86. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11730637_22.
Texto completoTabuada, Paulo. "Control". En 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.
Texto completoTabuada, Paulo. "Systems". En 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.
Texto completoTabuada, Paulo. "Control problems". En 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.
Texto completoFehnker, Ansgar y Franjo Ivančić. "Benchmarks for Hybrid Systems Verification". En 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.
Texto completoZutshi, Aditya, Sriram Sankaranarayanan y Ashish Tiwari. "Timed Relational Abstractions for Sampled Data Control Systems". En Computer Aided Verification, 343–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31424-7_27.
Texto completoMajumdar, Rupak y Majid Zamani. "Approximately Bisimilar Symbolic Models for Digital Control Systems". En Computer Aided Verification, 362–77. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31424-7_28.
Texto completoActas de conferencias sobre el tema "Verification of control systems"
Araiza-Illan, Dejanira, Kerstin Eder y Arthur Richards. "Formal verification of control systems' properties with theorem proving". En 2014 UKACC International Conference on Control (CONTROL). IEEE, 2014. http://dx.doi.org/10.1109/control.2014.6915147.
Texto completoKumar, R. y B. H. Krogh. "Heterogeneous verification of embedded control systems". En 2006 American Control Conference. IEEE, 2006. http://dx.doi.org/10.1109/acc.2006.1657445.
Texto completoJin, Xiaoqing, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda y Ken Butts. "Powertrain control verification benchmark". En 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.
Texto completoFang, Huixing, Jian Guo, Huibiao Zhu y Jianqi Shi. "Formal Verification and Simulation: Co-verification for Subway Control Systems". En 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2012. http://dx.doi.org/10.1109/tase.2012.11.
Texto completoRoohi, Nima, Yu Wang, Matthew West, Geir E. Dullerud y Mahesh Viswanathan. "Statistical Verification of the Toyota Powertrain Control Verification Benchmark". En 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.
Texto completoGaravello, Mauro. "Verification Theorems for HJB equations". En Control Systems: Theory, Numerics and Applications. Trieste, Italy: Sissa Medialab, 2006. http://dx.doi.org/10.22323/1.018.0021.
Texto completoAnand, Mahathi, Vishnu Murali, Ashutosh Trivedi y Majid Zamani. "Formal verification of hyperproperties for control systems". En 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.
Texto completoTiwari, Ashish. "Bounded Verification of Adaptive Flight Control Systems". En AIAA Infotech@Aerospace 2010. Reston, Virigina: American Institute of Aeronautics and Astronautics, 2010. http://dx.doi.org/10.2514/6.2010-3362.
Texto completoFainekos, Georgios E. y George J. Pappas. "MTL robust testing and verification for LPV systems". En 2009 American Control Conference. IEEE, 2009. http://dx.doi.org/10.1109/acc.2009.5159969.
Texto completoWang, Li y Yu Wensheng. "Systems safety verification by boundary variation analysis". En 2015 34th Chinese Control Conference (CCC). IEEE, 2015. http://dx.doi.org/10.1109/chicc.2015.7260097.
Texto completoInformes sobre el tema "Verification of control systems"
May, William B. y 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.
Texto completoMittelsteadt, Matthew. AI Verification: Mechanisms to Ensure AI Arms Control Compliance. Center for Security and Emerging Technology, febrero de 2021. http://dx.doi.org/10.51593/20190020.
Texto completoPodvig, Pavel, Markus Schiller, Amy Woolf, Christine Parthemore, Almudena Azcárate Ortega, Dmitry Stefanovich y Decker Eveleth. Exploring Options for Missile Verification. Editado por Pavel Podvig. The United Nations Institute for Disarmament Research, marzo de 2022. http://dx.doi.org/10.37559/wmd/22/misver/01.
Texto completoRaksincharoensak, Pongsathorn, Yutaka Ofuji, Motoki Shino y 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, mayo de 2005. http://dx.doi.org/10.4271/2005-08-0252.
Texto completoMcNeece, S. G. y 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), septiembre de 1994. http://dx.doi.org/10.2172/10103601.
Texto completoKrabill, Eleanor, Vivienne Zhang, Eric Lepowsky, Christoph Wirz, Alexander Glaser, Jaewoo Shin, Veronika Bedenko y Pavel Podvig. Menzingen Verification Experiment - Verifying the Absence of Nuclear Weapons in the Field. Editado por Pavel Podvig. The United Nations Institute for Disarmament Research, julio de 2023. http://dx.doi.org/10.37559/wmd/23/mve.
Texto completoErmi, A. M., G. J. Gauck y 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), junio de 1995. http://dx.doi.org/10.2172/408579.
Texto completoFindlay, Trevor. The Role of International Organizations in WMD Compliance and Enforcement: Autonomy, Agency, and Influence. The United Nations Institute for Disarmament Research, diciembre de 2020. http://dx.doi.org/10.37559/wmd/20/wmdce9.
Texto completoMayer, Barbara A. y Monica M. Lu. Guidelines for Formal Verification Systems. Fort Belvoir, VA: Defense Technical Information Center, abril de 1989. http://dx.doi.org/10.21236/ada385357.
Texto completoSTEWART, J. L. Technical safety requirements control level verification. Office of Scientific and Technical Information (OSTI), mayo de 1999. http://dx.doi.org/10.2172/782336.
Texto completo