1187 search results - page 212 / 238 » Graph-Based Procedural Abstraction |
ICTAC
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
80
Voted
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract-- We consider optimal experiment design for parametric prediction error system identification of linear timeinvariant systems in closed loop. The optimisation is performed...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract-- This paper focuses on the identification of nonlinear hybrid systems involving unknown nonlinear dynamics. The proposed method extends the framework of [1] by introducin...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract-- Identification of output error models from frequency domain data generally results in a non-convex optimization problem. A well-known method to approach the output error...