2838 search results - page 64 / 568 » Verifying Controlled Components |
FLAIRS
1998
13 years 10 months ago
1998
Path planning for an autonomousvehicle can occur at twodifferent times. First, path planning might occur at mission specification time when the vehicle's initial path is dete...
TASLP
2008
13 years 8 months ago
2008
Wave digital filters (WDFs) were originally developed for robust discrete-time simulation of analog filters, but recently they have been applied successfully to modeling of physica...
TKDE
2008
13 years 8 months ago
2008
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...
ICNC
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a novel learning feed-forward controller design approach for accurate robotics trajectory tracking. Based on the joint nonlinear dynamics characteristics, a mod...
HYBRID
2009
Springer
14 years 24 days ago
2009
Springer
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...