13977 search results - page 820 / 2796 » Evolution in complex systems |
201
click to vote
WORDS
2002
IEEE
16 years 18 days ago
2002
IEEE
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction sys...
159
click to vote
CDC
2009
IEEE
16 years 12 days ago
2009
IEEE
Abstract— In this paper, the concept of restricted real perturbation values of a complex matrix triplet is introduced, and a formula for computing lower bounds of these values is...
199
click to vote
CDC
2009
IEEE
16 years 12 days ago
2009
IEEE
— We present a method for complexity reduction in reachability analysis and controller synthesis via a Schur-based decomposition for LTI systems. The decomposition yields either ...
225
Voted
CDC
2009
IEEE
16 years 12 days ago
2009
IEEE
— In this paper, the safety control problem for a class of hybrid systems with disturbance inputs and imperfect continuous state information is considered. Under the assumption t...
179
click to vote
LPAR
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...