Книги з теми "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.

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

Ramesh, S., and 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, and 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. 9th ed. Waterloo, Ont: Centre for Accounting Research and Education, University of Waterloo, 1995.

Boritz, Jefim Efrim. Computer control & audit guide. 6th 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, and 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, and 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, and 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., and 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, and 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, and 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, and 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.