Libros 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.

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 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.

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. 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.

1944-, 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.

s, Luis Alejandro Corte. Verification and scheduling techniques for real-time embedded systems. Linko ping: Linko pings universitet, 2005.

Ramesh, S. y Prahladavaradan Sampath, eds. Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Dordrecht: Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-6254-4.

Friedman, Melinda J. Verification and control of pressure transients and intrusion in distribution systems. Denver, Colo: AWWA Research Foundation and U.S. Environmental Protection Agency, 2004.

R, Sitz Joel y Dryden Flight Research Facility, eds. Initial flight qualification and operational maintenance of X-29A flight software. Edwards, Calif: National Aeronautics and Space Administration, Ames Research Center, Dryden Flight Research Facility, 1989.

Saito, Jim. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.

Saito, Jim. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.

Center, Ames Research, ed. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.

Center, Ames Research, ed. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.

Boritz, Jefim Efrim. Computer control & audit guide. 9^a ed. Waterloo, Ont: Centre for Accounting Research and Education, University of Waterloo, 1995.

Boritz, Jefim Efrim. Computer control & audit guide. 6^a ed. Waterloo, Ont: Centre for Accounting Research and Education, University of Waterloo, 1987.

Boritz, Jefim Efrim. Computer control & audit guide. Waterloo, Ont: Centre for Information Systems Assurance, School of Accountancy, University of Waterloo, 1999.

John, Nowakowski y Langley Research Center, eds. Flight guidance system validation using SPIN. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1998.

United States. National Aeronautics and Space Administration. Scientific and Technical Information Program., SRI International y Langley Research Center, eds. Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems. [Washington, D.C.?]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1991.

John, Croft y Goddard Space Flight Center, eds. Analytical derivation and verification of zero-gyro control for the IUE satellite. Greenbelt, MD: National Aeronautics and Space Administration, Goddard Space Flight Center, 1989.

Bowles, Tiffany. Analytical derivation and verification of zero-gyro control for the IUE satellite. Greenbelt, MD: National Aeronautics and Space Administration, Goddard Space Flight Center, 1989.

Xian dai fei xing kong zhi xi tong de ping gu yu que ren fang fa: Advanced verification and clearance techniques for modern flight control systems. Beijing: Guo fang gong ye chu ban she, 2010.

Schuring, J. Design and experimental verification of a calculation method for frequency response analysis of digital control systems in a continuous environment. Amsterdam: National Aerospace Laboratory, 1985.

GM, R&D Workshop (2007 Bangalore India). Next generation design and verification methodologies for distributed embedded control systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007. [London?]: Springer, 2007.

Center, NASA Glenn Research, ed. Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research Center. [Cleveland, Ohio]: National Aeronautics and Space Administration, Glenn Research Center, 2001.

C, Chien Calvin, Inyang Hilary I, Everett Lorne G, United States. Dept. of Energy., United States. Environmental Protection Agency. y E.I. du Pont de Nemours & Company., eds. Barrier systems for containment and environmental treatment: Advances in performance prediction and verification. Boca Raton, FL: CRC Press, 2005.

Ethiopia health data quality review: System assessment and data verification. Addis Ababa, Ethiopia: Ethiopian Public Health Institute, 2016.

W, Moore James. Conventional arms control and disarmament in Europe: A model of verification system effectiveness. Ottawa: The Division, 1990.

Canada. Arms Control and Disarmament Division., ed. Conventional arms control and disarmament in Europe: A model of verification system effectiveness. Ottawa, Ont., Canada: The Division, 1989.

Reducing Emissions from Deforestation and Forest Degradation (Program). National forest monitoring systems: Monitoring and measurement, reporting and verification (M & MRV) in the context of REDD+ activities. Geneva: UN-REDD Programme Secretariat, 2013.

Services, United States Congress Senate Committee on Armed. Efforts to determine the status of Iraqi weapons of mass destruction and related programs: Hearing before the Committee on Armed Services, United States Senate, One Hundred Eighth Congress, second session, January 28, 2004. Washington: U.S. G.P.O., 2004.

L, Di Vito Ben y Langley Research Center, eds. Formal design and verification of a reliable computing platform for real-time control: Phase 2 results. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1992.

Butler, Ricky W. Formal design and verification of a reliable computing platform for real-time control: Phase 3 results. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1994.

Office, General Accounting. Nonproliferation: Further improvements needed in U.S. efforts to counter threats from man-portable air defense systems : report to congressional committees. Washington, D.C. (P.O. Box 37050, Washington 20013): U.S. General Accounting Office, 2004.

Kambiz, Salari, ed. Verification of computer codes in computational science and engineering. Boca Raton, Fla: Chapman & Hall/CRC Press, 2003.

Lopez, Damian. Seismic classification of military vehicles using statistical pattern recognition. Bochum: UVB Universitätsverlag Dr. N. Brockmeyer, 1995.

Yakimova, Vilena, Svetlana Pankova y Sergey Khmura. Development of the financial control system of foreign economic activity of organizations. ru: Publishing Center RIOR, 2021. http://dx.doi.org/10.29039/02068-5.

Hybrid systems III: Verification and control. Berlin: Springer, 1996.

Gerber, Christian. Implementation and Verification of Distributed Control Systems. Logos Verlag Berlin, 2011.

Verification and Synthesis of Hybrid Systems (Control Engineering). Birkhäuser Boston, 2006.

Tabuada, Paulo. Verification and Control of Hybrid Systems: A Symbolic Approach. Springer, 2010.

Abdelwahed, Sherif Salah. Interacting discrete event systems: Modelling, verification, and supervisory control. 2002.

Engel, Avner. Verification, Validation, and Testing of Engineered Systems. Wiley & Sons, Incorporated, John, 2010.

Engel, Avner y A. Engel. Verification, Validation, and Testing of Engineered Systems. Wiley & Sons, Incorporated, John, 2010.

Engel, Avner. Verification, Validation, and Testing of Engineered Systems. Wiley & Sons, Incorporated, John, 2010.

Engel, Avner. Verification, Validation, and Testing of Engineered Systems. Wiley & Sons, Incorporated, John, 2010.