http://ieeexplore.ieee.org TOC Alert for Publication# 8856 2009 June 19 6 2 C1 C1 47 6 2 C2 C2 41 6 2 205 208 1155 Drosophila embryos, and C. elegans to enable high-throughput biological and pharmaceutical research.]]> 6 2 209 219 1903 6 2 220 227 698 6 2 228 238 954 H _infin-based controller is designed. In this way, the control synthesis involves the frequency components on which a healthy pancreas delivers insulin for the glucose homeostasis. In order to test controller performance, a dynamical model of an actuator is also included in the closed-loop system to add its effects in the closed-loop evaluation of the H _infin -based controller. The actuator is a pump to deliver of an insulin infusion according with the rate computed by the controller. Note that the contribution is particularly focused on T1DM; however, the inclusion of weighting restriction can be used also onto critical care conditions.]]> 6 2 239 247 553 6 2 248 255 443 2(P_tcCO2) as the controlled variable. To investigate this dosing paradigm, we developed a comprehensive model of human metabolism and cardiorespiratory regulation, including a compartmental pharmacokinetic and a pharmacodynamic model for the fast acting opioid remifentanil. Model simulations are in good agreement with ventilatory experimental data, both in presence and absence of drug. Closed-loop simulations show that the controller maintains a predefined CO₂ target in the face of surgical stimulation and variable patient sensitivity. It prevents dangerous hypoventilation and delivers concentrations associated with analgosedation. The proposed control system for MAC could improve clinical practice titrating drug administration to a surrogate endpoint and actively limiting the occurrence of hypercapnia/hypoxia.]]> 6 2 256 264 470 6 2 265 276 837 6 2 277 290 886 6 2 291 301 1544 6 2 302 310 800 6 2 311 321 766 6 2 322 333 2064 6 2 334 344 609 3 is a multirobot system spanning across the macro-meso-microscales and specifically configured to package. The M³ robots are systematically characterized in terms of quasi-static precision measures and assembly plans are generated using kinematic identification, inverse kinematics and visual servoing. The advantage of our approach the fact that high assembly yields for our system are a consequence of a set of so-called precision resolution-repeatability-accuracy (RRA) rules introduced in this paper. Experimental results for packaging of a microelectromechanical systems switch are provided to support our findings.]]> 6 2 345 361 1850 safe-codiagnosability, extending the notion of safe-diagnosability (Paoli and Lafortune, 2005) to the decentralized setting. For a system, a certain subbehavior is deemed safe (captured via a safety specification), and a further subbehavior is deemed nonfaulty (captured via a nonfault specification). Safe-codiagnosability requires that when the system executes a trace that is faulty, there exists at least one diagnoser that can detect this within bounded delay and also before the safety specification is violated. The above notion of safe-codiagnosability may also be viewed as an extension of the notion of codiagnosability (Qiu and Kumar, 2006), where the latter did not have any safety requirement. We show that safe-codiagnosability is equivalent to codiagnosability together with ldquozero-delay codiagnosabilityrdquo of ldquoboundary safe tracesrdquo. (A safe trace is a boundary safe trace if there exists a single-event extension that is unsafe.) We give an algorithm of polynomial complexity for verifying safe-codiagnosability. For a safe-codiagnosable system, the same methods as those proposed in (Qiu and Kumar, 2006) can be applied for offline synthesis of individual diagnosers, as well as for online diagnosis using them.]]> 6 2 362 366 218 6 2 367 372 627 6 2 372 376 157 6 2 377 384 727 6 2 385 391 691 6 2 392 392 74 6 2 393 393 189 6 2 394 394 345 6 2 395 395 320 6 2 396 396 269 6 2 C3 C3 37 6 2 C4 C4 31