Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic

In this paper, we consider the robot motion (or task) planning problem under some given time bounded high level specifications. We use metric interval temporal logic (MITL), a member of the temporal logic family, to represent the task specification and then we provide a constructive way to generate a timed automaton and methods to look for accepting runs on the automaton to find a feasible motion (or path) sequence for the robot to complete the task.Comment: Full Version for ECC 201

Importance of Municipal Solid Waste Management

Solid waste management is one among the fundamental and essential services provided by municipal authorities in the developed as well as developing countries to keep urban areas clean. In certain regions of our country, the free disposal facilities have reached their own capacity and even local governments are confronted with difficult decisions. Solid waste management is an integral element of modern society. There are many ways in which solid waste can be treated, and thanks to modernized practices and technological advancement, these methods are very safe and practical

Ultrahigh Strength Steel: Development of Mechanical Properties Through Controlled Cooling

Structural steels with very high strength are referred as ultrahigh strength steels. The designation of ultrahigh strength is arbitrary, because there is no universally accepted strength level for this class of steels. As structural steels with greater and greater strength were developed, the strength range has been gradually modified. Commercial structural steel possessing a minimum yield strength of 1380 MPa (200 ksi) are accepted as ultrahigh strength steel (Philip, 1990). It has many applications such as in pipelines, cars, pressure vessels, ships, offshore platforms, aircraft undercarriages, defence sector and rocket motor casings. The class ultrahigh strength structural steels are quite broad and include several distinctly different families of steels such as (a) medium carbon low alloy steels, (b) medium alloy air hardening steel, (c) high alloy hardenable steels, and (d) 18Ni maraging steel. In the recent past, developmental efforts have been aimed mostly at increasing the ductility and toughness by improving the melting and the processing techniques. Steels with fewer and smaller non-metallic inclusions are produced by use of selected advanced processing techniques such as vacuum deoxidation, vacuum degassing, vacuum induction melting, vacuum arc remelting (VAR) and electroslag remelting (ESR). These techniques yield (a) less variation of properties from heat to heat, (b) greater ductility and toughness especially in the transverse direction, and (c) greater reliability in service (Philip, 1978). The strength can be further increased by thermomechanical treatment with controlled cooling