reine Buchbestellungen ab 5 Euro senden wir Ihnen Portofrei zuDiesen Artikel senden wir Ihnen ohne weiteren Aufpreis als PAKET

Embedded Systems -- Modeling, Technology, and Applications
(Englisch)
Proceedings of the 7th International Workshop held at Technische Universität Berlin, June 26/27, 2006
Hommel, Günter & Huanye, Sheng

Print on Demand - Dieser Artikel wird für Sie gedruckt!

127,45 €

inkl. MwSt. · Portofrei
Dieses Produkt wird für Sie gedruckt, Lieferzeit ca. 14 Werktage
Menge:

Embedded Systems -- Modeling, Technology, and Applications

Seiten
Erscheinungsdatum
Auflage
Ausstattung
Erscheinungsjahr
Sprache
Abbildungen
alternative Ausgabe
Vertrieb
Kategorie
Buchtyp
Warengruppenindex
Warengruppe
Features
Laenge
Breite
Hoehe
Gewicht
Herkunft
Relevanz
Referenznummer
Moluna-Artikelnummer

Produktbeschreibung

State of the art research results in the areas of:

Models and specification

Simulation of different properties

Middleware for distributed real-time systems

Signal Analysis

Control methods

Applications in airborne and medical systems


State of the art research results in the areas of:

Models and specification

Simulation of different properties

Middleware for distributed real-time systems

Applications in airborne and medical systems


This book synthesizes the results of the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universität Berlin, bringing together researchers from both universities in order to present research results to an international community. Aspects covered here include, among others, Models and specification; Simulation of different properties; Middleware for distributed real-time systems; Signal Analysis; Control methods; Applications in airborne and medical systems.

|The International Workshop on "Embedded Systems - Modeling, Techn- ogy, and Applications” is the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universität Berlin. The goal of those workshops is to bring together - searchers from both universities in order to present research results to an international community. The series of workshops started in 1990 with the International Workshop on Artificial Intelligence and was continued with the International Wo- shop on "Advanced Software Technology” in 1994. Both workshops have been hosted by Shanghai Jiao Tong University. In 1998 the third workshop took place in Berlin. This International Workshop on "Communication Based Systems” was essentially based on results from the Graduiertenk- leg on Communication Based Systems that was funded by the German Research Society (DFG) from 1991 to 2000. The fourth International Workshop on "Robotics and its Applications” was held in Shanghai in 2000. The fifth International Workshop on "The Internet Challenge: Tech- logy and Applications” was hosted by TU Berlin in 2002. The sixth Int- national Workshop on "Human Interaction with Machines” was hosted by Shanghai Jiao Tong University. The subject of this year´s workshop has been chosen because the field of Embedded Systems has not only gained major interest in the research community but has also significant economic impact in different appli- tion fields. Mechanic, hydraulic, and electronic control systems are being replaced by microcomputer based embedded systems.

Committee; Preface; A Conceptual Model for Conformance, Compliance and Consistency, by Sebastian Bab and Bernd Mahr; Simulation and Animation of Visual Models of Embedded Systems: A Graph-Transformation-Based Approach Applied to Petri Nets, by Hartmut Ehrig, Claudia Ermel, and Gabriele Taentzer; Efficient Construction and Verification of Embedded Software, by Sabine Glesner; Embedded Systems Design Using Optimistic Distributed Simulation of Colored Petri Nets, by Michael Knoke, Dawid Rasinski, and Günter Hommel; Extended Reward Measures in the Simulation of Embedded Systems With Rare Events, by Armin Zimmermann; High Performance Low Cost Multicore NoC Architectures for Embedded Systems, by Dietmar Tutsch and Günter Hommel; An Analyzable On-Chip Network Architecture for Embedded Systems, by Daniel Lüdtke, Dietmar Tutsch, and Günter Hommel; Simulation-Based Testing of Embedded Software in Space Applications, by Sergio Montenegro, Stefan Jähnichen, and Olaf Maibaum; Evolving Specifications for Embedded Systems in the Automotive Domain, by André Metzner and Peter Pepper; Embedded Network Processor Based Parallel Intrusion Detection, by Hu Yueming; Embedded System Architecture of the Second Generation Autonomous Unmanned Aerial Vehicle MARVIN MARK II, by Volker Remuß, Marek Musial, Carsten Deeg, and Günter Hommel; Middleware for Distributed Embedded Real-Time Systems, by Marek Musial, Volker Remuß, and Günter Hommel; Development of an Embedded Intelligent Flight Control System for the Autonomously Flying Unmanned Helicopter Sky-Explorer, by Wang Geng, Sheng Huanye, Lu Tiansheng; Model Predictive Control with Application to a Small-Scale Unmanned Helicopter, by Du Jianfu, Lu Tiansheng, Zhang Yaou, Zhao Zhigang, Wang Geng; The Recurrent Neural Network Model and Control of an Unmanned Helicopter, by Zhang Yaou, Lu Tiansheng, Du Jianfu, Zhao Zhigang, Wang Geng; GA-Based Evolutionary Identification of Model Structure for Small-scale Robot Helicopter System, byZhao Zhigang, Lu Tiansheng; Framework for Development and Test of Embedded Flight Control Software for Autonomous Small Size Helicopters, by Markus Bernard, Konstantin Kondak, and Günter Hommel; Embedded System Design for a Hand Exoskeleton, by Andreas Wege and Günter Hommel; Embedded Control System for a Powered Leg Exoskeleton, by Christian Fleischer and Günter Hommel; Blind Source Separation of Temporal Correlated Signals and its FPGA Implementation Xia Bin, Zhang Liqing.

The International Workshop on "Embedded Systems - Modeling, Techn- ogy, and Applications" is the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universität Berlin. The goal of those workshops is to bring together - searchers from both universities in order to present research results to an international community. The series of workshops started in 1990 with the International Workshop on Artificial Intelligence and was continued with the International Wo- shop on "Advanced Software Technology" in 1994. Both workshops have been hosted by Shanghai Jiao Tong University. In 1998 the third workshop took place in Berlin. This International Workshop on "Communication Based Systems" was essentially based on results from the Graduiertenk- leg on Communication Based Systems that was funded by the German Research Society (DFG) from 1991 to 2000. The fourth International Workshop on "Robotics and its Applications" was held in Shanghai in 2000. The fifth International Workshop on "The Internet Challenge: Tech- logy and Applications" was hosted by TU Berlin in 2002. The sixth Int- national Workshop on "Human Interaction with Machines" was hosted by Shanghai Jiao Tong University. The subject of this year's workshop has been chosen because the field of Embedded Systems has not only gained major interest in the research community but has also significant economic impact in different appli- tion fields. Mechanic, hydraulic, and electronic control systems are being replaced by microcomputer based embedded systems.
A Conceptual Model for Conformance, Compliance and Consistency.- Simulation and Animation of Visual Models of Embedded Systems.- Efficient Construction and Verification of Embedded Software.- Embedded Systems Design Using Optimistic Distributed Simulation of Colored Petri Nets.- Extended Reward Measures in the Simulation of Embedded Systems With Rare Events.- High Performance Low Cost Multicore NoC Architectures for Embedded Systems.- An Analyzable On-Chip Network Architecture for Embedded Systems.- Simulation-Based Testing of Embedded Software in Space Applications.- Evolving Specifications for Embedded Systems in the Automotive Domain.- Embedded Network Processor Based Parallel Intrusion Detection.- Embedded System Architecture of the Second Generation Autonomous Unmanned Aerial Vehicle MARVIN MARK II.- Middleware for Distributed Embedded Real-Time Systems.- Development of an Embedded Intelligent Flight Control System for the Autonomously Flying Unmanned Helicopter Sky-Explorer.- Model Predictive Control with Application to a Small-Scale Unmanned Helicopter.- The Recurrent Neural Network Model and Control of an Unmanned Helicopter.- GA-Based Evolutionary Identification of Model Structure for Small-scale Robot Helicopter System.- Framework for Development and Test of Embedded Flight Control Software for Autonomous Small Size Helicopters.- Embedded System Design for a Hand Exoskeleton.- Embedded Control System for a Powered Leg Exoskeleton.- Blind Source Separation of Temporal Correlated Signals and its FPGA Implementation.

Inhaltsverzeichnis



Committee; Preface; A Conceptual Model for Conformance, Compliance and Consistency, by Sebastian Bab and Bernd Mahr; Simulation and Animation of Visual Models of Embedded Systems: A Graph-Transformation-Based Approach Applied to Petri Nets, by Hartmut Ehrig, Claudia Ermel, and Gabriele Taentzer; Efficient Construction and Verification of Embedded Software, by Sabine Glesner; Embedded Systems Design Using Optimistic Distributed Simulation of Colored Petri Nets, by Michael Knoke, Dawid Rasinski, and Günter Hommel; Extended Reward Measures in the Simulation of Embedded Systems With Rare Events, by Armin Zimmermann; High Performance Low Cost Multicore NoC Architectures for Embedded Systems, by Dietmar Tutsch and Günter Hommel; An Analyzable On-Chip Network Architecture for Embedded Systems, by Daniel Lüdtke, Dietmar Tutsch, and Günter Hommel; Simulation-Based Testing of Embedded Software in Space Applications, by Sergio Montenegro, Stefan Jähnichen, and Olaf Maibaum; Evolving Specifications for Embedded Systems in the Automotive Domain, by André Metzner and Peter Pepper; Embedded Network Processor Based Parallel Intrusion Detection, by Hu Yueming; Embedded System Architecture of the Second Generation Autonomous Unmanned Aerial Vehicle MARVIN MARK II, by Volker Remuß, Marek Musial, Carsten Deeg, and Günter Hommel; Middleware for Distributed Embedded Real-Time Systems, by Marek Musial, Volker Remuß, and Günter Hommel; Development of an Embedded Intelligent Flight Control System for the Autonomously Flying Unmanned Helicopter Sky-Explorer, by Wang Geng, Sheng Huanye, Lu Tiansheng; Model Predictive Control with Application to a Small-Scale Unmanned Helicopter, by Du Jianfu, Lu Tiansheng, Zhang Yaou, Zhao Zhigang, Wang Geng; The Recurrent Neural Network Model and Control of an Unmanned Helicopter, by Zhang Yaou, Lu Tiansheng, Du Jianfu, Zhao Zhigang, Wang Geng; GA-Based Evolutionary Identification of Model Structure for Small-scale Robot Helicopter System, byZhao Zhigang, Lu Tiansheng; Framework for Development and Test of Embedded Flight Control Software for Autonomous Small Size Helicopters, by Markus Bernard, Konstantin Kondak, and Günter Hommel; Embedded System Design for a Hand Exoskeleton, by Andreas Wege and Günter Hommel; Embedded Control System for a Powered Leg Exoskeleton, by Christian Fleischer and Günter Hommel; Blind Source Separation of Temporal Correlated Signals and its FPGA Implementation Xia Bin, Zhang Liqing.


Klappentext



The International Workshop on ¿Embedded Systems - Modeling, Techn- ogy, and Applications¿ is the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universität Berlin. The goal of those workshops is to bring together - searchers from both universities in order to present research results to an international community. The series of workshops started in 1990 with the International Workshop on Artificial Intelligence and was continued with the International Wo- shop on ¿Advanced Software Technology¿ in 1994. Both workshops have been hosted by Shanghai Jiao Tong University. In 1998 the third workshop took place in Berlin. This International Workshop on ¿Communication Based Systems¿ was essentially based on results from the Graduiertenk- leg on Communication Based Systems that was funded by the German Research Society (DFG) from 1991 to 2000. The fourth International Workshop on ¿Robotics and its Applications¿ was held in Shanghai in 2000. The fifth International Workshop on ¿The Internet Challenge: Tech- logy and Applications¿ was hosted by TU Berlin in 2002. The sixth Int- national Workshop on ¿Human Interaction with Machines¿ was hosted by Shanghai Jiao Tong University. The subject of this year¿s workshop has been chosen because the field of Embedded Systems has not only gained major interest in the research community but has also significant economic impact in different appli- tion fields. Mechanic, hydraulic, and electronic control systems are being replaced by microcomputer based embedded systems.




State of the art research results in the areas of: Models and specification Simulation of different properties Middleware for distributed real-time systems Signal Analysis Control methods Applications in airborne and medical systems



Datenschutz-Einstellungen