Filtyp
Traditionally, automatic control techniques arose due to need for automation in mechanical systems. These techniques rely on robust mathematical modelling of physical systems with the goal to drive their behaviour to desired set-points. Decades of research have successfully automated, optimized, and ensured safety of a wide variety of mechanical systems. Recent advancement in digital technology ha
Modern computer systems consist of large number of entities connected through a shared resource. One such system is a video surveillance network consisting of a set of cameras and a network manager. The surveillance cameras capture a stream of images and transmit them to the manager over a shared constrained network. The central manager allocates bandwidth to the cameras in a fair manner using a t
Having found that carbonyl sulfide (COS), works well as a catalyst in the transformation of amino acids to polypeptides, we have now tested COS as a catalyst also for the formation of substances that might be thought of as partners in the building of RNA. The model used was selective energy transfer (SET). This model implies that a certain number of vibrational quanta are donated from the catalyst
We study the problem of controlling phase activations for signalized junctions in an urban transportation network using local feedback information consisting of measures of the queue-lengths at the incoming lanes of each junction. Our focus is on the validation and performance evaluation through micro-simulations of the recently proposed Generalized Proportional Allocation (GPA) controller. Previo
Q-design is a powerful method for designing approximately optimal LTI controllers and assessing the achievable control performance. Unfortunately, numerical issues are often encountered in Q-design which limits its applicability. This paper warns about two numerical pitfalls in Q-design when using H 2 costs and Laguerre-type basis functions.
Over the past years, interest in classifying drivers' behavior from data has surged. Such interest is particularly relevant for car insurance companies who, due to privacy constraints, often only have access to data from Inertial Measurement Units (IMU) or similar. In this paper, we present a semi-supervised learning solution to classify portions of trips according to whether drivers are driving a
Chronic pelvic pain (CPP) is chronic or persistent pain perceived in structures related to the pelvis of men and women. Patients with CPP may have pain refractory to conventional management strategies. Botulinum toxin A (BTX-A) injection is a potential therapeutic option in patients with CPP. Beneficial effects of BTX-A on pain, quality of life, and functional symptoms were seen in patients with c
In this paper, a low-complexity resistorless high-precision sub-1 V MOSFET-only voltage reference is presented. To obtain an accurate output, a curvature-compensation technique is used, canceling its logarithmic temperature dependence regardless of the value of the mobility temperature exponent (γ). The circuit is realized in 65 nm CMOS technology and yields an output voltage of 574 mV, a temperat
Harmonic task scheduling has many attractive properties, including a utilization bound of 100% under rate-monotonic scheduling and reduced jitter. At the same time, it places a severe constraint on the task period assignment for any application. In this paper, we explore the use of harmonic task scheduling for applications with multiple feedback control tasks. We investigate the properties of harm
Event-based sensing and communication holds the promise of lower resource utilization and/or better performance for remote state estimation applicationsin e.g networked control systems (NCS). However, the problem of designing an optimal event-based state estimator often becomes untractable due to nonlinear measurements. This complexity is avoided with stochastic event-triggering. In this work, we
A novel automatic tuning strategy is proposed. It is based on an experiment of very short duration, followed by simultaneous identification of LTI model parameters and an estimate of their error covariance. The parametric uncertainty model is subsequently exploited to design linear controllers with magnitude bounds on some closed-loop transfer function of interest, such as the sensitivity function
A novel autotuning procedure is presented through application to an industrial in-line pH control system. The procedure has three advantages over classical relay auto-tuners: experiment duration is very short (no need for limit-cycle convergence); all data is used for identification (instead of only peaks and switch instances); a parameter uncertainty model is identified and utilized for robust co
Temporal logics have proven effective for correct-by-construction synthesis of controllers for a wide range of robotic applications. Receding horizon frameworks mitigate the computational intractability of reactive synthesis for temporal logic, but have thus far been limited by pursuing a single sequence of short horizon problems to the goal. We propose a receding horizon algorithm for reactive sy
Correct-by-construction synthesis of high-level reactive control relies on the use of formal methods to generate controllers with provable guarantees on their behavior. While this approach has been successfully applied to a wide range of systems and environments, it scales poorly. A receding horizon framework mitigates this computational blowup, by decomposing the global control problem into sever
We study the use of the System Optimum (SO) Dynamic Traffic Assignment (DTA) problem to design optimal traffic flow controls for freeway networks as modeled by the Cell Transmission Model, using variable speed limit, ramp metering, and routing. We consider two optimal control problems: the DTA problem, where turning ratios are part of the control inputs, and the Freeway Network Control (FNC), wher
Distributed averaging is one of the simplest and most widely studied network dynamics. Its applications range from cooperative inference in sensor networks, to robot formation, to opinion dynamics. A number of fundamental results and examples scattered through the literature are gathered here and some original approaches and generalizations are presented, emphasizing the deep interplay between the
We study System Optimum Dynamic Traffic Assignment (SO-DTA) for realistic traffic dynamics controlled by variable speed limits, ramp metering, and routing controls. We consider continuous-time cell-based Dynamic Network Loading models that include as special cases the Cell Transmission Model (CTM) with FIFO rule at the diverge junctions as well as non-FIFO diverge rules. While a straightforward co
