84 search results - page 11 / 17 » On the use of numerical methods for analysis and control of ... |
DAC
1999
ACM
13 years 11 months ago
1999
ACM
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— Legged robots are by nature strongly non-linear, high-dimensional systems whose full complexity permits neither tractable mathematical analysis nor comprehensive numerical stud...
FMCAD
2007
Springer
13 years 10 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
CDC
2010
IEEE
13 years 1 months ago
2010
IEEE
In this paper, we analyze the cyber security of state estimators in Supervisory Control and Data Acquisition (SCADA) systems operating in power grids. Safe and reliable operation o...
BMCBI
2008
13 years 6 months ago
2008
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...