721 search results - page 54 / 145 » An NP-Hardness Result for Nonlinear Systems |
ENTCS
2006
13 years 7 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
JCB
2006
13 years 7 months ago
2006
The task of finding saddle points on potential energy surfaces plays a crucial role in understanding the dynamics of a micromolecule as well as in studying the folding pathways of...
HYBRID
2001
Springer
14 years 5 days ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— This paper studies the event design in eventtriggered feedback systems with asymptotic stability. A new event-triggering scheme is presented that may postpone the occur...
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
We investigate a new approach for solving boundary control problems for dynamical systems that are governed by transport equations, when the control function is restricted to binar...