Unmanned aerial vehicles (UAVs), commonly known as drones, are being increasingly deployed throughout the globe a means to streamline monitoring, inspection, mapping, and logistic routines. When dispatched on autonomous missions, drones require an intelligent decision-making system for trajectory planning tour optimization. Given limited capacity of their onboard batteries, key design challenge...

We introduce a family of type theories as internal languages for autonomous (or symmetric monoidal closed) and-autonomous categories, in the same sense that the simply-typed-calculus with surjective pairing is the internal language for cartesian closed categories. The rules for the typing judgements are presented in the style of Gentzen's Sequent Calculus. A notable feature is the systematic tr...

Autonomy is regarded as a crucial notion in multi-agent systems and several researchers have tried to identify what are the agent's parts that give it an autonomous character. In this paper, we take a different approach. If we assume that agents are autonomous (and this is a quite reasonable assumption in many practical situations, such as e-commerce), the more interesting question is: how to c...

Recent advances in autonomous vehicle technology will open the door to highly efficient transportation systems in the future, as demonstrated by Autonomous Intersection Management, an intersection control protocol designed for fully autonomous vehicles. We, however, anticipate there will be a long transition period during which most vehicles have some but not all capabilities of fully autonomou...

In this study, the roll, yaw and depth fuzzy control of an Au- tonomous Underwater Vehicle (AUV) are addressed. Yaw and roll angles are regulated only using their errors and rates, but due to the complexity of depth dynamic channel, additional pitch rate quantity is used to improve the depth loop performance. The discussed AUV has four aps at the rear of the vehicle as actuators. Two rule bases...

most theories of the developmental state assume that industrial transformation requires capable and coherent development bureaucracies that are “autonomous,” in the sense of being insulated from particularistic private interests. these theories however benefit from networks connecting them to relevant private industrial actors. by all scholarly accounts, political factionalism and islamic insti...