| 1. |
- Ollero, Anibal, et al.
(författare)
-
Multiple Eyes in the Skies
- 2005
-
Ingår i: IEEE robotics & automation magazine. - 1070-9932 .- 1558-223X. ; 12:2, s. 46-57
-
Tidskriftsartikel (refereegranskat)abstract
- The management of environmental and industrial disasters, search and rescue operations, surveillance of natural scenarios, environmental monitoring, and many other field robotics applications require high mobility and the need to reach locations that are difficult to access with ground vehicles. In many cases, the use of aerial vehicles is the best way to approach the objective to get information or to deploy instrumentation. Unmanned air vehicles (UAVs) have significantly increased their flight performance and autonomous onboard processing capabilities in the last ten years. But a single aerial vehicle equipped with a large array of different sensors of various modalities is limited at any time to a single viewpoint. A team of aerial vehicles, however, can simultaneously collect information from multiple locations and exploit the information derived from multiple disparate points. Furthermore, having a team with multiple heterogeneous aerial vehicles offers additional advantages due to the possibility of beneficial complementarities of the vehicles.
|
|
| 2. |
|
|
| 3. |
- Auinger, Franz, et al.
(författare)
-
Requirements and solutions to software encapsulation and engineering in next generation manufacturing systems : OOONEIDA approach
- 2005
-
Ingår i: International journal of computer integrated manufacturing (Print). - : Informa UK Limited. - 0951-192X .- 1362-3052. ; 18:7, s. 572-585
-
Tidskriftsartikel (refereegranskat)abstract
- This paper addresses the solutions enabling agile development, deployment and re-configuration of software-intensive automation systems both in discrete manufacturing and process technologies. As the key enabler for reaching the required level of flexibility of such systems, the paper discusses the issues of encapsulation, integration and re-use of the automation intellectual property (IP). The goals can be fulfilled by the use of a vendor-independent concept of a reusable portable and scalable software module (function block), as well as by a vendor-independent automation device model. This paper also discusses the requirements of the methodology for the application of such modules in the time- and cost-effective specification, design, validation, realization and deployment of intelligent mechatronic components in distributed industrial automation and control systems. A new global initiative OOONEIDA is presented, that targets these goals through the development of the automation object concept based on the recognized industrial standards IEC61131, IEC61499, IEC61804 and unified modelling language (UML); and through the creation of the technological infrastructure for a new, open-knowledge economy for automation components and automated industrial products. In particular, a web-based repository for standardized automation solutions will be developed to serve as an electronic-commerce facility in industrial automation businesses.
|
|
| 4. |
- Benavente, Martha, et al.
(författare)
-
Biosorption of Heavy Metals on Chitosan
- 2007
-
Ingår i: Hydro Copper 2007. - Santiago, Chile : GECAMIN Ltda.. - 9789568504076 ; , s. 283-290
-
Konferensbidrag (refereegranskat)
|
|
| 5. |
- Benavente, Martha, et al.
(författare)
-
Biosorption of Lead using Chitosan
- 2009
-
Ingår i: Advances in Chitin Science, Volumen XI: EUCHIS 2009. - Venice, Italy. ; , s. 487-492
-
Konferensbidrag (refereegranskat)
|
|
| 6. |
|
|
| 7. |
- Da Silva Fariña, Antonio, et al.
(författare)
-
Exhaustif : a fault injection tool for distributed heterogeneous embedded systems
- 2007
-
Ingår i: Euro American Conference on Telematics and Information Systems - Proceedings of the 2007 Euro American Conference on Telematics and Information Systems, EATIS 2007. - New York, NY, USA : ACM Press. - 9781595935984 ; , s. Article number a17-
-
Konferensbidrag (refereegranskat)abstract
- This paper presents Exhaustif®, a SWIFI fault injection tool for fault tolerance verification and the validation of embedded software in distributedheterogeneous systems. Exhaustif® mainly consists of two parts: EEM and FIK. Exhaustif® Executive Manager (EEM) is a GUI Java application to define the fault injection campaign that uses a SQL database to save the test results obtained from the System under Test (SUT) in order to carry out a post injection data analysis. FIK is under the command of EEM to cary out fault injections in applications running under diverse operating systems using pure SWIFI techniques. Exhaustif® carries out floating point register and memory corruptions using temporary triggers and uses an optimized routine interception mechanism to cany out argument and return value corruption with a minimal time overhead. Two experimentalFault Injector Kernels (FIK) under the RTEMS operating system for an EADS-Astrium SPARC ERC32-based MCM processor board and i386 standard PC mainboard have been developed.
|
|
| 8. |
|
|
| 9. |
- Hanisch, Hans Michael, et al.
(författare)
-
Formal validation of intelligent-automated production systems : Towards industrial applications
- 2006
-
Ingår i: International Journal of Manufacturing Technology and Management (IJMTM). - 1368-2148 .- 1741-5195. ; 8:1-3, s. 75-106
-
Tidskriftsartikel (refereegranskat)abstract
- This paper introduces a framework for formal modelling and validation of automation systems destined to be used directly by control engineers. The framework is based on a modelling formalism of Net Condition/Event Systems (NCES), which is graphical, modular and typed. This allows for the modelling of realistic hierarchically organised automation systems in a closed plant-controller loop. The framework consists of methodologies and tools, which enable formal analysis of automation systems. The framework is to be used for the improvement of safety characteristics, reliability and robustness of such systems by means of prediction of potential faults and deadlocks
|
|
| 10. |
|
|
