This paper presents a set of sufficient conditions for the gate-level synthesis of speed-independent circuits when constrained to a given class of gate library. Existing synthesis methodologies are restricted to architectures ...

The current air traffic control system tries to allocate as many flights as possible in a scenario that is expected to be time-efficient, cost-efficient, and safe. To guaranty these safety conditions, it is performed a ...

This paper describes a pedagogic computer named \M aquina Rudimentaria". This computer has been de- signed to be used in a rst course on logic design or com- puter architecture; orthogonality and simplicity have been the ...

This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such a way that a circuit implementation is ...

An Unmanned Aerial Vehicle, UAV for short, is able to fly autonomously during all phases of flight, but has to be monitored from an operator station. In this article a better avionic system is proposed to optimize this ...

The generalized development of UAS complex applications are still limited by the absence of systems that support the implementation of the actual mission. UAS design faces the development of specific systems to control ...

Unmanned Aerial Systems (UAS) are slowing becoming e cient platforms that can be applied in scienti c/commercial remote sensing applications. UAS may o er interesting bene ts in terms of cost, exibility, endurance, ...

Current algorithms to force the complete state coding (CSC) property for signal transition graphs work on the state graph and, therefore require exponential time and space. Polynomial algorithms have been only proposed for ...

UAS have great potential to be used in a wide variety of civil applications such as environmental applications, emergency situations, surveillance tasks and more. The development of Flight Control Systems (FCS) coupled ...