Sciweavers

83 search results - page 7 / 17
» A systematic approach to plant-wide control based on thermod...
Sort
View
BPM
2007
Springer
168views Business» more  BPM 2007»
14 years 2 months ago
Modeling Control Objectives for Business Process Compliance
Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasin...
Shazia Wasim Sadiq, Guido Governatori, Kioumars Na...
INFOCOM
2009
IEEE
14 years 2 months ago
Tuning Skype's Redundancy Control Algorithm for User Satisfaction
—Determining how to transport delay-sensitive voice data has long been a problem in multimedia networking. The difficulty arises because voice and best-effort data are different...
Te-Yuan Huang, Kuan-Ta Chen, Polly Huang
ICLP
1993
Springer
14 years 1 days ago
Control Generation for Logic Programs
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...
Stefan Lüttringhaus-Kappel
TROB
2008
126views more  TROB 2008»
13 years 7 months ago
Online Optimization of Swimming and Crawling in an Amphibious Snake Robot
An important problem in the control of locomotion of robots with multiple degrees of freedom (e.g., biomimetic robots) is to adapt the locomotor patterns to the properties of the e...
Alessandro Crespi, Auke Jan Ijspeert
AUTOMATICA
1999
82views more  AUTOMATICA 1999»
13 years 7 months ago
Controllers for reachability specifications for hybrid systems
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
John Lygeros, Claire Tomlin, Shankar Sastry