Sciweavers

15840 search results - page 356 / 3168
» The Control of Synchronous Systems
Sort
View
124
Voted
CDC
2010
IEEE
119views Control Systems» more  CDC 2010»
14 years 11 months ago
Motion planning in quantum control via intersection of eigenvalues
In this paper we consider the problem of inducing a transition in a controlled quantum mechanical system whose spectrum loses simplicity for some values of the control. We study th...
Ugo V. Boscain, Francesca C. Chittaro, Paolo Mason...
HYBRID
2009
Springer
15 years 8 months ago
Applications of MetiTarski in the Verification of Control and Hybrid Systems
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
Behzad Akbarpour, Lawrence C. Paulson
ICALT
2005
IEEE
15 years 10 months ago
An Architecture of Virtual Environment for E-Learning (AVEE)
With the constant progress of multimedia technology and network bandwidth, the traditional teaching environment that based on text and pictures, will be integrated with media stre...
Fu-Min Huang, Ming Chao
GECCO
2004
Springer
15 years 10 months ago
Modeling Selection Intensity for Toroidal Cellular Evolutionary Algorithms
We present quantitative models for the selection pressure of cellular evolutionary algorithms structured in two dimensional regular lattices. We derive models based on probabilisti...
Mario Giacobini, Enrique Alba, Andrea Tettamanzi, ...
ICCS
2004
Springer
15 years 10 months ago
A Concept of Replicated Remote Method Invocation
In this paper we present a new infrastructure for building distributed applications that communicate through remote objects. The objects are available by the use of the Java RMI, e...
Jerzy Brzezinski, Cezary Sobaniec