Se connecter

Bibliographies thématiques / Hybrid systems modeling and verification / Livres

Livres sur le sujet « Hybrid systems modeling and verification »

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Hybrid systems modeling and verification.

Auteur : Grafiati

Publié le 11 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs livres pour votre recherche sur le sujet « Hybrid systems modeling and verification ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les livres sur diverses disciplines et organisez correctement votre bibliographie.

1

A, Granat Mitchell, et Hydraulics Laboratory (U.S.), dir. 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

4

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

9

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

Calinescu, Radu, et Ethan Jackson, dir. 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

12

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

13

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

14

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

15

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

16

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

17

Abdelaziz Mohamed, Mohamed, et 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

18

Thoen, Filip, et Francky Catthoor, dir. 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

19

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

21

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

22

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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

23

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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

24

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

25

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

26

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

27

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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

28

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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

29

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

Texte intégral

Résumé :

The textbook covers a wide range of issues related to econometric modeling. Regression models are the core of econometric modeling, so the issues of their evaluation, testing of assumptions, adjustment and verification are given a significant place. Various aspects of multiple regression models are included: multicollinearity, dummy variables, and lag structure of variables. Methods of linearization and estimation of nonlinear models are considered. An apparatus for evaluating systems of simultaneous and apparently unrelated equations is presented. Attention is paid to time series models. Detailed solutions of the examples in Excel and the R software environment are included. Meets the requirements of the federal state educational standards of higher education of the latest generation. For undergraduate and graduate students studying in the field of "Economics", the curriculum of which includes the disciplines "Econometrics"," Econometric Modeling","Econometric research".

Styles APA, Harvard, Vancouver, ISO, etc.

30

Center, Lewis Research, et United States. National Aeronautics and Space Administration. Scientific and Technical Information Program, dir. 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

31

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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

32

Center, Lewis Research, et United States. National Aeronautics and Space Administration. Scientific and Technical Information Program, dir. 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

33

Center, Lewis Research, et United States. National Aeronautics and Space Administration. Scientific and Technical Information Program., dir. 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

34

Center, Lewis Research, et United States. National Aeronautics and Space Administration. Scientific and Technical Information Program., dir. 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.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

35

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

36

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

37

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

38

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

39

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

40

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

41

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

42

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

43

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

44

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

45

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

46

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

47

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

48

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

49

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

50

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!