Книги з теми "Hybrid systems modeling and verification"

A, Granat Mitchell, and Hydraulics Laboratory (U.S.), eds. Verification of the hydrodynamic and sediment transport hybrid modeling system for Cumberland Sound and Kings Bay navigation channel, Georgia. Vicksburg, Miss: US Army Corps of Engineers, Hydraulics Laboratory, 1989.

Inan, M. Kemal, and Robert P. Kurshan, eds. Verification of Digital and Hybrid Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-642-59615-5.

Tabuada, Paulo. Verification and Control of Hybrid Systems. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5.

Onwubolu, Godfrey C., ed. Hybrid Self-Organizing Modeling Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01530-4.

Merz, Stephan, and Nicolas Navet, eds. Modeling and Verification of Real-Time Systems. London, UK: ISTE, 2008. http://dx.doi.org/10.1002/9780470611012.

service), SpringerLink (Online, ed. Verification and Control of Hybrid Systems: A Symbolic Approach. Boston, MA: Springer-Verlag US, 2009.

Goebel, Rafal. Hybrid dynamical systems: Modeling, stability, and robustness. Princeton, N.J: Princeton University Press, 2012.

Drechsler, Rolf, and Ulrich Kühne, eds. Formal Modeling and Verification of Cyber-Physical Systems. Wiesbaden: Springer Fachmedien Wiesbaden, 2015. http://dx.doi.org/10.1007/978-3-658-09994-7.

Samar, Abdi, Gerstlauer Andreas 1970-, Schirner Gunar, and SpringerLink (Online service), eds. Embedded System Design: Modeling, Synthesis and Verification. Boston, MA: Springer-Verlag US, 2009.

United States. National Aeronautics and Space Administration., ed. Verification of thermal analysis codes for modeling sold rocket nozzles. [Washington, DC: National Aeronautics and Space Administration, 1993.

Calinescu, Radu, and Ethan Jackson, eds. Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21292-5.

Nicolas, Navet, and Merz Stephan, eds. Modeling and verification of real-time systems: Formalisms and software tools. Hoboken, NJ: ISTE/John Wiley, 2008.

G, Larson R., and United States. National Aeronautics and Space Administration., eds. A simple example of modeling hybrid systems using bialgebras: Preliminary version. [Washington, DC: National Aeronautics and Space Administration, 1991.

G, Larson Richard, and United States. National Aeronautics and Space Administration., eds. A simple example of modeling hybrid systems using bialgebras: Preliminary version. [Washington, DC: National Aeronautics and Space Administration, 1991.

Rüdiger, Valk, ed. Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003.

R, Valk, ed. Petri nets for systems engineering: A guide to modeling, verification, and applications. Berlin: Springer, 2003.

Abdelaziz Mohamed, Mohamed, and Ali Mohamed Eltamaly. Modeling and Simulation of Smart Grid Integrated with Hybrid Renewable Energy Systems. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-64795-1.

Thoen, Filip, and Francky Catthoor, eds. Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/978-1-4615-4437-1.

Thoen, Filip. Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems. Boston, MA: Springer US, 2000.

Thoen, Filip. Modeling, verification, and exploration of task-level concurrency in real-time embedded systems. Boston, Mass: Kluwer Academic Publishers, 2000.

Simpson, Andrew. Plug-in hybrid modeling and application: Cost/benefit analysis. Washington, D.C.]: National Renewable Energy Laboratory, U.S. Dept. of Energy, 2006.

Rouse, William B. Assessing the impact of modeling limits on intelligent systems. [Washington, DC]: National Aeronautics and Space Administration, Scientific and Technical Information Division, 1990.

Rocker, M. Modeling on nonacoustic combustion instability in simulations of hybrid motor tests. Marshall Space Flight Center, Ala: National Aeronautics and Space Administration, Marshall Space Flight Center, 2000.

Operational semantics for timed systems: A non-standard approach to uniform modeling of timed and hybrid systems. Berlin: Springer, 2005.

Pejmun, Motaghedi, Society of Photo-optical Instrumentation Engineers., Optech Inc, and Ball Aerospace & Technologies Corporation (USA), eds. Modeling, simulation, and verification of space-based systems II: 31 March, 2005, Orlando, Florida, USA. Bellingham, Wash: SPIE, 2005.

Modeling in event-b: System and software engineering. New York: Cambridge University Press, 2010.

Cotrell, Jason Rust. Modeling the feasibility of using fuel cells and hydrogen internal combustion engines in remote renewable energy systems: Technical report. Golden, CO: National Renewable Energy Laboratory, 2003.

Calinescu, Radu. Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.

Babeshko, Lyudmila, Mihail Bich, and Irina Orlova. Econometrics and econometric modeling. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1141216.

Center, Lewis Research, and United States. National Aeronautics and Space Administration. Scientific and Technical Information Program, eds. Physics & Process Modeling (PPM) and Other Propulsion R&T: Proceedings of the PPM and Other Propulsion R&T Conference held at the Cleveland Airport Marriott ... Cleveland, Ohio, May 1, 1997. [Washington, DC]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1997.

PPM and Other Propulsion R & T Conference (1997 Cleveland, Ohio). Physics & Process Modeling (PPM) and Other Propulsion R&T: Proceedings of the PPM and Other Propulsion R&T Conference held at the Cleveland Airport Marriott ... Cleveland, Ohio, May 1, 1997. [Washington, DC]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1997.

Center, Lewis Research, and United States. National Aeronautics and Space Administration. Scientific and Technical Information Program, eds. Physics & Process Modeling (PPM) and Other Propulsion R&T: Proceedings of the PPM and Other Propulsion R&T Conference held at the Cleveland Airport Marriott ... Cleveland, Ohio, May 1, 1997. [Washington, DC]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1997.

Center, Lewis Research, and United States. National Aeronautics and Space Administration. Scientific and Technical Information Program., eds. Physics & Process Modeling (PPM) and Other Propulsion R&T: Proceedings of the PPM and Other Propulsion R&T Conference held at the Cleveland Airport Marriott ... Cleveland, Ohio, May 1, 1997. [Washington, DC]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1997.

Center, Lewis Research, and United States. National Aeronautics and Space Administration. Scientific and Technical Information Program., eds. Physics & Process Modeling (PPM) and Other Propulsion R&T: Proceedings of the PPM and Other Propulsion R&T Conference held at the Cleveland Airport Marriott ... Cleveland, Ohio, May 1, 1997. [Washington, DC]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1997.

Kurshan, Robert P., and M. Kemal Inan. Verification of Digital and Hybrid Systems. Springer London, Limited, 2012.

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

Kurshan, Robert P., and M. Kemal Inan. Verification of Digital and Hybrid Systems. Springer London, Limited, 2011.

Onwubolu, Godfrey C. Hybrid Self-Organizing Modeling Systems. Springer Berlin / Heidelberg, 2010.

Onwubolu, Godfrey C. Hybrid Self-Organizing Modeling Systems. Springer London, Limited, 2009.

Onwubolu, Godfrey C. Hybrid Self-Organizing Modeling Systems. Springer, 2009.

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

Goebel, Rafal, Andrew R. Teel, and Ricardo G. Sanfelice. Hybrid Dynamical Systems: Modeling, Stability, and Robustness. Princeton University Press, 2012.

Goebel, Rafal, Andrew R. Teel, and Ricardo G. Sanfelice. Hybrid Dynamical Systems: Modeling, Stability, and Robustness. Princeton University Press, 2012.

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

Motaghedi, Pejmun. Modeling, Simulation, And Verification of Space- Based Systems. Society of Photo Optical, 2006.

Agrawal, Ashish, Richard Wies, and Ronald Johnson. Hybrid Electric Power Systems- Modeling, Optimization and Control. VDM Verlag Dr. Mueller e.K., 2007.

Hybrid Computational Intelligent Systems: Modeling, Simulation and Optimization. CRC Press LLC, 2023.

Hybrid SelfOrganizing Modeling Systems Studies in Computational Intelligence. Springer, 2009.

Catthoor, Francky, and Filip Thoen. Modeling, Verification and Exploration of Task-Level. Springer, 1999.

(Editor), Rajeev Alur, Thomas A. Henzinger (Editor), and Eduardo D. Sontag (Editor), eds. Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science). Springer, 1996.