There is an increasing demand for controller design techniques capable of addressing the complex requirements of todays embedded applications. This demand has sparked the interest in symbolic control where lower complexity models of control systems are used to cater for complex specifications given by temporal logics, regular languages, or automata. These specification mechanisms can be regarde...

Previous work [3, 6, 9, 8, 7, 1] has presented the time optimal trajectories for three classes of non-holonomic mobile robots: steered cars that can only go forwards, steered cars that go forwards or backwards, and differential drives. Each of the vehicles is modelled as a rigid body in the plane with velocity and angular velocity controls. The systems are differentiated only by the bounds on t...

antibody detection is the most versatile and commonly used method for measles diagnosis. detection of specific igm antibodies in a single serum specimen collected within the appropriate time after rash onset can provide a good presumptive diagnosis of current or recent measles infection and is the test of choice for rapid diagnosis of measles cases. so, optimal timing for collection of a single...

Over the past decade, a large number of academics and start-ups have devoted themselves to developing kites as a renewable energy source. Determining the trajectories the kite should follow is a modeling and optimization challenge. We present a dynamic model and analyse how uncertainty affects the resulting optimization problem. We show how measurements can be used to rapidly correct the model-...

This study examines three possible approaches to improving the speed in generating wind-optimal routes for air traffic at the national or global level. They are: (a) using the resources of a supercomputer, (b) running the computations on multiple commercially available computers and (c) implementing those same algorithms into NASA’s Future ATM Concepts Evaluation Tool (FACET) and compares those...

This paper aims to discuss the requirements of safe and smooth trajectory planning of transporter mobile robots to perform non-prehensile object manipulation task. In non-prehensile approach, the robot and the object must keep their grasp-less contact during manipulation task. To this end, dynamic grasp concept is employed for a box manipulation task and corresponding conditions are obtained an...