Libros sobre el tema "Hybrid systems modeling and verification"

A, Granat Mitchell y 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 y 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 y 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 y 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 y 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 y 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 y Merz Stephan, eds. Modeling and verification of real-time systems: Formalisms and software tools. Hoboken, NJ: ISTE/John Wiley, 2008.

G, Larson R. y 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 y 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 y 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 y 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 y 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 y Irina Orlova. Econometrics and econometric modeling. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1141216.

Center, Lewis Research y 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 y 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 y 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 y 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. y 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. y 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 y Ricardo G. Sanfelice. Hybrid Dynamical Systems: Modeling, Stability, and Robustness. Princeton University Press, 2012.

Goebel, Rafal, Andrew R. Teel y 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 y 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 y Filip Thoen. Modeling, Verification and Exploration of Task-Level. Springer, 1999.

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