USRA/RIACS
Author :
Publisher :
Page : 34 pages
File Size : 27,11 MB
Release : 1992
Category :
ISBN :
Author :
Publisher :
Page : 34 pages
File Size : 27,11 MB
Release : 1992
Category :
ISBN :
Author :
Publisher :
Page : 426 pages
File Size : 30,58 MB
Release : 1995
Category : Aeronautics
ISBN :
Author :
Publisher : IGI Global
Page : 424 pages
File Size : 38,83 MB
Release : 2009-01-01
Category : Technology & Engineering
ISBN : 1605662275
"This book aims at giving a complete panorama of the active and promising crossing area between traffic engineering and multi-agent system addressing both current status and challenging new ideas"--Provided by publisher.
Author : Gabriela Lindemann
Publisher : Springer Science & Business Media
Page : 353 pages
File Size : 12,20 MB
Release : 2004-09-23
Category : Computers
ISBN : 3540232222
This book constitutes the refereed proceedings of the Second German Conference on Multiagent Systems Technologies, MATES 2004, held in Erfurt, Germany, in September 2004. The 22 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on learning and social agents, analysis and security, negotiation and control, agents and software engineering, simulation and agents, and policies and testing.
Author : United States. Office of Aeronautics and Space Technology. Information Sciences and Human Factors Division
Publisher :
Page : 200 pages
File Size : 13,69 MB
Release : 1985
Category : Space flight
ISBN :
Author :
Publisher :
Page : 1088 pages
File Size : 10,32 MB
Release : 1993
Category : Science
ISBN :
Author :
Publisher :
Page : 1064 pages
File Size : 27,69 MB
Release : 1994
Category : Government publications
ISBN :
Author : Borzoo Bonakdarpour
Publisher : Springer
Page : 373 pages
File Size : 37,52 MB
Release : 2014-09-12
Category : Computers
ISBN : 3319111647
This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following topics: monitoring and trace slicing, runtime verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems, testing and bug finding, and inference and learning.
Author : Kimon P. Valavanis
Publisher : Springer Science & Business Media
Page : 428 pages
File Size : 26,98 MB
Release : 2009-06-11
Category : Technology & Engineering
ISBN : 9048130182
This book reflects the work of top scientists in the field of intelligent control and its applications, prognostics, diagnostics, condition based maintenance and unmanned systems. It includes results, and presents how theory is applied to solve real problems.
Author : François E. Cellier
Publisher : Springer Science & Business Media
Page : 775 pages
File Size : 15,43 MB
Release : 2013-03-14
Category : Technology & Engineering
ISBN : 1475739222
Modeling and Simulation have become endeavors central to all disciplines of science and engineering. They are used in the analysis of physical systems where they help us gain a better understanding of the functioning of our physical world. They are also important to the design of new engineering systems where they enable us to predict the behavior of a system before it is ever actually built. Modeling and simulation are the only techniques available that allow us to analyze arbitrarily non-linear systems accurately and under varying experimental conditions. Continuous System Modeling introduces the student to an important subclass of these techniques. They deal with the analysis of systems described through a set of ordinary or partial differential equations or through a set of difference equations. This volume introduces concepts of modeling physical systems through a set of differential and/or difference equations. The purpose is twofold: it enhances the scientific understanding of our physical world by codifying (organizing) knowledge about this world, and it supports engineering design by allowing us to assess the consequences of a particular design alternative before it is actually built. This text has a flavor of the mathematical discipline of dynamical systems, and is strongly oriented towards Newtonian physical science.