Sciweavers

1453 search results - page 103 / 291
» State and history in operating systems
Sort
View
123
Voted
CEC
2010
IEEE
15 years 24 days ago
Genetic programming for Expert Systems
— Genetic programming is the usage of the paradigm of survival of the fittest in scientific computing. It is applied to evolve solutions to problems where dependencies between ...
Konrad Sickel, Joachim Hornegger
93
Voted
LFCS
2007
Springer
15 years 6 months ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer
88
Voted
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
15 years 5 months ago
Design of optimal switching surfaces for switched autonomous systems
Abstract— This paper presents a novel, computationally feasible procedure for computing optimal switching surfaces, i.e. optimal feedback controllers for switched autonomous nonl...
Axel Schild, Xu Chu Ding, Magnus Egerstedt, Jan Lu...
83
Voted
CDC
2008
IEEE
171views Control Systems» more  CDC 2008»
15 years 2 months ago
Subspace IDentification of MIMO LPV systems: The PBSID approach
In this paper we present a novel algorithm to identify LPV systems with affine parameter dependence operating under open and closed-loop conditions. A factorization is introduced w...
Jan-Willem van Wingerden, Michel Verhaegen
102
Voted
ENGL
2007
101views more  ENGL 2007»
15 years 17 days ago
Fault Tolerant Multi-Agent Systems: its communication and cooperation
— Intelligent Agents have originated a lot of discussion about what they are, and how they are different from general programs. We describe in this paper a new paradigm for intel...
Arnulfo Alanis Garza, Juan José Serrano, Ra...