Sciweavers

12115 search results - page 181 / 2423
» Bisimulation of Dynamical Systems
Sort
View
DALT
2006
Springer
15 years 7 months ago
Dynamic Model Checking for Multi-agent Systems
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
Nardine Osman, David Robertson, Christopher Walton
103
Voted
TSMC
2008
79views more  TSMC 2008»
15 years 3 months ago
Issues on Stability of ADP Feedback Controllers for Dynamical Systems
Abstract--This paper traces the development of neuralnetwork (NN)-based feedback controllers that are derived from the principle of adaptive/approximate dynamic programming (ADP) a...
S. N. Balakrishnan, Jie Ding, Frank L. Lewis
143
Voted
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
15 years 10 months ago
Simulation-aided reachability and local gain analysis for nonlinear dynamical systems
Abstract— We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains...
Weehong Tan, Ufuk Topcu, Peter Seiler, Gary J. Bal...
FUIN
2008
177views more  FUIN 2008»
15 years 3 months ago
A Multi-facet Approach to Dynamic Agent Systems
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Berna...
CDC
2010
IEEE
112views Control Systems» more  CDC 2010»
14 years 11 months ago
A semidefinite programming framework for controlling multi-robot systems in dynamic environments
Abstract-- In this paper, a discrete
Jason C. Derenick, John R. Spletzer, Vijay Kumar