USRA/RIACS


Book Description













Multi-agent Systems for Traffic and Transportation Engineering


Book Description

"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.




Multiagent System Technologies


Book Description

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.




Runtime Verification


Book Description

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.










Continuous System Modeling


Book Description

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.