hh.sePublikationer
Ändra sökning
Avgränsa sökresultatet
12345 151 - 200 av 203
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 151.
    Sundemo, John
    et al.
    Högskolan i Halmstad.
    Rustam, Stanikzai
    Högskolan i Halmstad.
    Förutse försenade tåg med machine learning2018Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I denna uppsatts tittar vi på hur olika machine learning algoritmer presterar när man förutspår förseningar i tågtrafiken. Machine learning metoderna som tas upp i denna rapport är logistic regression, decision tree och neural network. Vi har försökt implementera alla tre ovan nämnda metoderna med data som vi själva har samlat in till vår egen databas med hjälp av Västtrafiks öppna API. En beskrivning på data som har samlats in diskuteras, grundläggande genomgång av de olika metoderna och generell information om vad machine learning är. Metoderna ställs upp mot varandra och dess prestation visas upp med hjälp av AUC poäng samt confusion matrix.

  • 152.
    Svane, Torben Ernst
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Hello Robot! A website to raise interest in a STEM future through Internet speech controlled robots2018Ingår i: Frontiers in Education 2018. Fostering Innovation Through Diversity: 2018 Conference Proceedings, Institute of Electrical and Electronics Engineers (IEEE), 2018Konferensbidrag (Refereegranskat)
    Abstract [en]

    This Research to Practice Work in Progress paper reports on a project to interest children in STEM subjects (and later on, hopefully to encourage them to enroll in engineering and science programs). Initially (in 2014) the project used proprietary technology (Microsoft Xbox/Kinect). In 2015, Internet-based but region-limited technologies were tested (Google speech recognition API). In 2017 it changed to its current form, a website using the Annyang JavaScript speech recognition library. The site allows children (and others) to program robots through speech commands, or by clicking buttons. Once finished, the commands are sent by email to the university that has the robot. There, the robot actions are videotaped and uploaded to YouTube or its Chinese equivalent Youku. This will allow for a future scenario where a 7-year-old tells his/her friends "Yesterday, I programmed a robot in China. Let's watch the video!" © 2018 IEEE

  • 153.
    Synnott, Jonathan
    et al.
    University of Ulster, Jordanstown, North Ireland.
    Nugent, Chris
    Univ Ulster, Sch Comp & Math, Jordanstown, North Ireland..
    Zhang, Shuai
    Univ Ulster, Sch Comp & Math, Jordanstown, North Ireland..
    Calzada, Alberto
    Univ Ulster, Sch Comp & Math, Jordanstown, North Ireland..
    Cleland, Ian
    Univ Ulster, Sch Comp & Math, Jordanstown, North Ireland..
    Espinilla, Macarena
    Univ Jaen, Dept Comp Sci, Jaen, Spain..
    Medina Quero, Javier
    Univ Jaen, Dept Comp Sci, Jaen, Spain..
    Lundström, Jens
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Environment Simulation for the Promotion of the Open Data Initiative2016Ingår i: 2016 IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP), Piscataway, N.J.: IEEE, 2016, s. 246-251Konferensbidrag (Refereegranskat)
    Abstract [en]

    The development, testing and evaluation of novel approaches to Intelligent Environment data processing require access to datasets which are of high quality, validated and annotated. Access to such datasets is limited due to issues including cost, flexibility, practicality, and a lack of a globally standardized data format. These limitations are detrimental to the progress of research. This paper provides an overview of the Open Data Initiative and the use of simulation software (IE Sim) to provide a platform for the objective assessment and comparison of activity recognition solutions. To demonstrate the approach, a dataset was generated and distributed to 3 international research organizations. Results from this study demonstrate that the approach is capable of providing a platform for benchmarking and comparison of novel approaches.

  • 154.
    Taha, Walid
    Department of Computer Science, Rice University, Houston, TX, United States.
    A Gentle Introduction to Multi-stage Programming, Part II2008Ingår i: Generative and Transformational Techniques in Software Engineering II: International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers / [ed] Ralf Lämmel, Joost Visser, João Saraiva, Berlin: Springer Berlin/Heidelberg, 2008, s. 260-290Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    As domain-specific languages (DSLs) permeate into mainstream software engineering, there is a need for economic methods for implementing languages. Following up on a paper with a similar title, this paper focuses on dynamically typed languages, covering issues ranging from parsing to defining and staging an interpreter for an interesting subset of Dr. Scheme. Preliminary experimental results indicate that the speedups reported in previous work for smaller languages and with smaller benchmarks are maintained. © 2008 Springer Berlin Heidelberg.

  • 155.
    Taha, Walid
    Oregon Graduate Institute of Science and Technology.
    Multi-Stage Programming: Its Theory and Applications1999Doktorsavhandling, monografi (Övrigt vetenskapligt)
    Abstract [en]

    MetaML is a statically typed functional programming language with special support for programgeneration. In addition to providing the standard features of contemporary programminglanguages such as Standard ML, MetaML provides three staging annotations. These staging annotationsallow the construction, combination, and execution of object-programs.Our thesis is that MetaML's three staging annotations provide a useful, theoretically soundbasis for building program generators. This dissertation reports on our study of MetaML's stagingconstructs, their use, their implementation, and their formal semantics. Our results include anextended example of where MetaML allows us to produce ecient programs, an explanation ofwhy implementing these constructs in traditional ways can be challenging, two formulations ofMetaML's semantics, a type system for MetaML, and a proposal for extending MetaML with atype construct for closedness.The dissertation consolidates a number of previous publications by the author, includingMetaML's type systems and big-step semantics. The presentation is new. The proposed solutionto an implementation problem and the reduction semantics for MetaML's three staging constructsare also new.

  • 156.
    Taha, Walid
    Rice University, Houston, TX, United States.
    Resource-Aware Programming - Invited paper2004Ingår i: Embedded software and systems: first international conference, ICESS 2004, Hangzhou, China, December 9-10, 2004 ; revised selected papers, Berlin: Springer Berlin/Heidelberg, 2004, s. 38-43Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for designing a class of languages that we call Resource-aware Programming (RAP) languages. By taking into account the natural distinction between the development platform and the deployment platform for embedded software, RAP languages can alleviate the need for drastic trade-offs between expressive power and static guarantees. We describe our preliminary experience designing and programming in a RAP language for hardware design, and give a brief overview of directions for future work.

  • 157.
    Taha, Walid
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). Univ Houston, Houston, TX 77004 USA & Chalmers, Gothenburg, Sweden.;Yale, New Haven, CT USA.;Rice Univ, Houston, TX 77251 USA.;Schlumberger, Sugar Land, TX USA.;Lucent Bell Labs, Murray Hill, NJ USA..
    Rigorous simulation2018Ingår i: / [ed] Salem, A., Abbas, H. M., Elkharashi, M. W., Eldin, A. M. B., Taher, M., Zaki, A. M., Institute of Electrical and Electronics Engineers (IEEE), 2018, s. XXIII-XXIVKonferensbidrag (Refereegranskat)
  • 158.
    Taha, Walid
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Duracz, Adam
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Zeng, Yingfu
    Rice University, Houston TX, USA.
    Atkinson, Kevin
    Rice University, Houston TX, USA.
    Bartha, Ferenc Ágoston
    Rice University, Houston TX, USA.
    Brauner, Paul
    Rice University, Houston TX, USA.
    Duracz, Jan
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Xu, Fei
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Cartwright, Robert
    Rice University, Houston TX, USA.
    Konečný, Michal
    Computer Science Group, Aston University, Birmingham, United Kingdom.
    Moggi, Eugenio
    University of Genova, Genoa, Italy.
    Masood, Jawad
    Rice University, Houston TX, USA.
    Andreasson, Björn Pererik
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Inoue, Jun
    Rice University, Houston TX, USA.
    Sant'Anna, Anita
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Philippsen, Roland
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Chapoutot, Alexandre
    ENSTA ParisTech - U2IS, Paris, France.
    O'Malley, Marcia
    Department of Mechanical Engineering, Rice University, Houston TX, USA.
    Ames, Aaron
    School of Mechanical Eng., Georgia Institute of Technology, Atlanta GA, USA.
    Gaspes, Veronica
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Hvatum, Lise
    Schlumberger, Houston TX, USA.
    Mehta, Shyam
    Schlumberger, Houston TX, USA.
    Eriksson, Henrik
    Dependable Systems, SP Technical Research Institute of Sweden, Borås, Sweden.
    Grante, Christian
    AB Volvo, Gothenburg, Sweden.
    Acumen: An Open-source Testbed for Cyber-Physical Systems Research2016Ingår i: Internet of Things. IoT Infrastructures: Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I / [ed] Benny Mandler, Johann Marquez-Barja, Miguel Elias Mitre Campista, Dagmar Cagáňová, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov & Radu-Laurentiu Vieriu, Heidelberg: Springer, 2016, Vol. 169, s. 118-130Konferensbidrag (Refereegranskat)
    Abstract [en]

    Developing Cyber-Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous and discrete) models. The Acumen modeling and simulation language is an open source testbed for exploring the design space of what rigorous-but-practical next-generation tools can deliver to developers of Cyber-Physical Systems. Like verification tools, a design goal for Acumen is to provide rigorous results. Like simulation tools, it aims to be intuitive, practical, and scalable. However, it is far from evident whether these two goals can be achieved simultaneously.

    This paper explains the primary design goals for Acumen, the core challenges that must be addressed in order to achieve these goals, the "agile research method" taken by the project, the steps taken to realize these goals, the key lessons learned, and the emerging language design. © ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2016.

  • 159.
    Taha, Walid
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Philippsen, Roland
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Modeling Basic Aspects of Cyber-Physical Systems2012Ingår i: 3rd International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-12), 2012Konferensbidrag (Refereegranskat)
    Abstract [en]

    Designing novel cyber-physical systems entails significant, costly physical experimentation. Simulation tools can enable the virtualization of experiments. Unfortunately, current tools have shortcomings that limit their utility for virtual experimentation. Language research can be especially helpful in addressing many of these problems. As a first step in this direction, we consider the question of determining what language features are needed to model cyber-physical systems. Using a series of elementary examples of cyber-physical systems, we reflect on the extent to which a small, experimental domain-specific formalism called Acumen suffices for this purpose.

  • 160.
    Taha, Walid
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Zeng, Yingfu
    Rice University, Houston, TX, USA.
    Duracz, Adam
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Xu, Fei
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Atkinson, Kevin
    Rice University, Houston, TX, USA.
    Brauner, Paul
    Rice University, Houston, TX, USA.
    Cartwright, Robert
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS). Rice University, Houston, TX, USA.
    Philippsen, Roland
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Developing a first course on cyber-physical systems2016Ingår i: ACM SIGBED Review, E-ISSN 1551-3688, Vol. 14, nr 1, s. 44-52Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Effective and creative Cyber-Physical Systems (CPS) development requires expertise in disparate fields that have traditionally been taught in several distinct disciplines. At the same time, students seeking a CPS education generally come from diverse educational backgrounds. In this paper, we report on our recent experience of developing and teaching a course on CPS. The course addresses the following three questions: What are the core elements of CPS? How should these core concepts be integrated in the CPS design process? What types of modeling tools can assist in the design of Cyber-Physical Systems? Our experience with the first four offerings of the course has been positive overall. We also discuss the lessons we learned from some issues that were not handled well. All material including lecture notes and software used for the course are openly available online.

  • 161.
    Taromirad, Masoumeh
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Mousavi, Mohammad Reza
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Gray-Box Conformance Testing for Symbolic Reactive State Machines2017Ingår i: Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers / [ed] Mehdi Dastani & Marjan Sirjani, Heidelberg: Springer Berlin/Heidelberg, 2017, s. 228-243Konferensbidrag (Refereegranskat)
    Abstract [en]

    Model-based testing (MBT) is typically a black-box testing technique. Therefore, generated test suites may leave some untested gaps in a given implementation under test (IUT). We propose an approach to use the structural and behavioural information exploited from the implementation domain to generate effective and efficient test suites. Our approach considers both specification models and implementation models, and generates an enriched test model which is used to automatically generate test suites. We show that the proposed approach is sound and exhaustive and cover both the specification and the implementation. We examine the applicability and the effectiveness of our approach by applying it to a well-known example from the railway domain. © 2017, IFIP International Federation for Information Processing.

  • 162.
    Teferi, Dereje
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Bigun, Josef
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Multi-view and Multi-scale Recognition of Symmetric Patterns2009Ingår i: Image analysis / [ed] Arnt-Børre Salberg, Jon Yngve Hardeberg and Robert Jenssen, Berlin: Springer, 2009, s. 657-666Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper suggests the use of symmetric patterns and their corresponding symmetry filters for pattern recognition in computer vision tasks involving multiple views and scales. Symmetry filters enable efficient computation of certain structure features as represented by the generalized structure tensor (GST). The, properties of the complex moments to changes in scale and multiple views including in-depth rotation of the patterns and the presence of noise is investigated. Images of symmetric patterns captured using a. low resolution low-cost CMOS camera, such as a phone Camera or a web-cam, from as far as three meters are precisely localized and their spatial orientation is determined from the argument of the second order complex moment I-20 without further computation.

  • 163.
    Teferi Lemma, Dereje
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Audio-video synthesis methods for improving performance of biometric systems2007Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    System security is important for any automation. It is even more so in the case of biometric systems due to the sensitive nature of the data it uses for enrollment and authentication - the subjects physical or biological trait. The performance quantification of biometric systems, such as face tracking and recognition, highly depend on the database used for testing the systems. Systems trained and tested on realistic and represenative databases evidently perform better. In fact, the main reason for evaluating any system on test data is that these data sets represent problems that system might face in the real world. However, building biometric databases that represent the real world is an expensive task due to its high demand on the side of the participants. This becomes even more difficult and unrealistic if the data is to be collected in a natural environment such as supermarkets, offices, streets, etc.

    This thesis presents a procedure to build a synthetic biometric database by damascening images from a studio recorded database with a realistic scenery. To this end, we developed an image segmenation procedure to spearate the background of a video recorded in studio conditions with the prupose to replace it with an arbitrary complex background. Furthermore, we present how several degradations such as affine transformation, imaging noise, and motion blur can be incorporated into the production of the new database to simulate natural recording environments. The system is applied to the entire XM2VTS database, which already consists of several terabytes of data, to produce the DXM2VTS - Damascened XM2VTS database.

    Moreover, the thesis presents a method to segment a video sequence in the time domain based on its audio concept. The video is then reshuffled and used for testing resilience of text-prompted biometric systems against playback attacks. The playback is supported by pyramid based frame interpolation method to reduce discontinuities created at the digit boundaries in time.

  • 164.
    Tistarelli, Massimo
    et al.
    Computer Vision Laboratory, University of Sassari, Italy.
    Bigun, JosefHögskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).Jain, Anil K.Departments of Computer Science & Engineering, and Electrical & Computer Engineering, Michigan State University.
    Biometric authentication: International ECCV 2002 Workshop, Copenhagen, Denmark, June 1, 2002 : proceedings2002Proceedings (redaktörskap) (Övrigt vetenskapligt)
    Abstract [en]

    This book constitutes the refereed proceedings of the International Workshop on Biometric Authentication held in Copenhagen, Denmark, in June 2001 as a satellite event of ECCV 2002.The 19 revised full papers presented were carefully reviewed. The papers are organized in topical sections on face recognition, fingerprint recognition, psychology and biometrics, face detection and localization, gait and signature recognition, and classifiers for recognition.

  • 165.
    Toazza, Denny Antonio
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Kim, Tae Hyun
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Navigation Control of an Unmanned Aerial Vehicle (UAV)2010Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The thesis covers a new navigation algorithm for UAV to fly through several given GPS coordinates without any human interference. The UAV first gets its current position from GPS receiver via Bluetooth connection with the navigator computer. With this GPS point, it draws an optimal trajectory to next destination. During the flight, the navigator computer issues the information about which direction to turn and how much to turn. This information will be used to steer the airplane servos.

    The algorithm is programmed in Java LeJOS. It uses built-in Java classes about GPS and Bluetooth. The main computer, where the navigation program runs, is a LEGO Mindstorms NXT and it is used a GPSlim240 from HOLUX as a GPS receiver.

  • 166.
    Trivic, Göran
    et al.
    Högskolan i Halmstad.
    Azan, Mohammed
    Högskolan i Halmstad.
    Cloudify our product configuration2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
  • 167.
    Uhlemann, Elisabeth
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Inbyggda system (CERES).
    Rasmussen, Lars K.
    Chalmers, Göteborg.
    Wiberg, Per-Arne
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Inbyggda system (CERES).
    Wireless Real-Time Communication Using Deadline Dependent Coding2006Ingår i: ARTES - A network for Real-Time research and graduate Education in Sweden 1997-2006: MRTC report (197/2006), Uppsala: Department of Information Technology, Uppsala university , 2006, s. 239-256Kapitel i bok, del av antologi (Övrig (populärvetenskap, debatt, mm))
    Abstract [en]

    The constant evolution of wireless communication, and all the applications this enables, is rapidly increasing our demands on the performance of communication networks. As the transmission speed increases, entirely new applications and services, like for example video streaming, suddenly becomes interesting for wireless systems as well. The expectations of the general user with respect to performance of wireless applications are guided by the current quality of traditional wireline systems. This naturally implies a considerable challenge when designing wireless communication systems. Many of these new wireless applications are based on packet transmissions and are sub ject to time-critical constraints. The ob jective of the deadline dependent coding (DDC) communication protocol presented here is therefore to develop an efficient and fault tolerant real-time link layer foundation, enabling critical deadline dependent communication over unreliable wireless channels.

  • 168.
    Ul-Abdin, Zain
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Programming of Coarse-Grained Reconfigurable Architectures2011Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    Coarse-grained reconfigurable architectures, which offer massive parallelism coupled with the capability of undergoing run-time reconfiguration, are gaining attention in order to meet not only the increased computational demands of high-performance embedded systems, but also to fulfill the need of adaptability to functional requirements of the application. This thesis focuses on the programming aspects of such coarse-grained reconfigurable computing devices, including the relevant computation models that are capable of exposing different kinds of parallelism inherent in the application and the ability of these models to capture the adaptability requirements of the application. The thesis suggests the occam-pi language for programming of a broad class of coarse-grained reconfigurable architectures as an intermediate language; we call it intermediate, since we believe that the applicationprogramming is best done in a high-level domain-specific language. The salient properties of the occam-pi language are explicit concurrency with built-in mechanisms for interprocessorcommunication, provision for expressing dynamic parallelism, support for the expression of dynamic reconfigurations, and placement attributes. To evaluate the programming approach, a compiler framework was extended to support the language extensions in the occam-pi language, and backends were developed to target two different coarse-grained reconfigurable architectures. XPP and Ambric. The results on XPP reveal that the occam-pi based implementations produce comparable throughput to those of NML programs, while programming at a much higher level of abstraction than that of NML. Similarly the two occam-pi implementations of autofocus criterion calculation targeted to the Ambric platform outperform the CPU implementation by factors of 11-23. Thus, the results of the implemented case-studies suggest that the occam-pi language based approach simplifies the development of applications employing run-time reconfigurable devices without compromising the performance benefits.

  • 169.
    Uličný, Matej
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Methods for Increasing Robustness of Deep Convolutional Neural Networks2015Självständigt arbete på avancerad nivå (masterexamen), 80 poäng / 120 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Recent discoveries uncovered flaws in machine learning algorithms such as deep neural networks. Deep neural networks seem vulnerable to small amounts of non-random noise, created by exploiting the input to output mapping of the network. Applying this noise to an input image drastically decreases classication performance. Such image is referred to as an adversarial example. The purpose of this thesis is to examine how known regularization/robustness methods perform on adversarial examples. The robustness methods: dropout, low-pass filtering, denoising autoencoder, adversarial training and committees have been implemented, combined and tested. For the well-known benchmark, the MNIST (Mixed National Institute of Standards and Technology) dataset, the best combination of robustness methods has been found. Emerged from the results of the experiments, ensemble of models trained on adversarial examples is considered to be the best approach for MNIST. Harmfulness of the adversarial noise and some robustness experiments are demonstrated on CIFAR10 (The Canadian Institute for Advanced Research) dataset as well. Apart from robustness tests, the thesis describes experiments with human classification performance on noisy images and the comparison with performance of deep neural network.

  • 170.
    Uličný, Matej
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Lundström, Jens
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Byttner, Stefan
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Robustness of Deep Convolutional Neural Networks for Image Recognition2016Ingår i: Intelligent Computing Systems: First International Symposium, ISICS 2016, Mérida, México, March 16-18, 2016, Proceedings / [ed] Anabel Martin-Gonzalez, Victor Uc-Cetina, Cham: Springer, 2016, Vol. 597, s. 16-30Konferensbidrag (Refereegranskat)
    Abstract [en]

    Recent research has found deep neural networks to be vulnerable, by means of prediction error, to images corrupted by small amounts of non-random noise. These images, known as adversarial examples are created by exploiting the input to output mapping of the network. For the MNIST database, we observe in this paper how well the known regularization/robustness methods improve generalization performance of deep neural networks when classifying adversarial examples and examples perturbed with random noise. We conduct a comparison of these methods with our proposed robustness method, an ensemble of models trained on adversarial examples, able to clearly reduce prediction error. Apart from robustness experiments, human classification accuracy for adversarial examples and examples perturbed with random noise is measured. Obtained human classification accuracy is compared to the accuracy of deep neural networks measured in the same experimental settings. The results indicate, human performance does not suffer from neural network adversarial noise.

  • 171.
    Vaiciukynas, Evaldas
    et al.
    Kaunas University of Technology.
    Gelzinis, Adas
    Kaunas University of Technology.
    Bacauskiene, Marija
    Kaunas University of Technology.
    Verikas, Antanas
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Laboratoriet för intelligenta system.
    Vegiene, Aurelija
    Kaunas University of Medicine.
    Exploring Kernels in SVM-Based Classification of Larynx Pathology from Human Voice2010Ingår i: Proceedings of the 5th International Conference on Electrical and Control Technologies ECT-2010, May 6-7, 2010, Kaunas, Lithuania, Kaunas: KUT , 2010, s. 67-72Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper identification of laryngeal disorders using cepstral parameters of human voice is investigated. Mel-frequency cepstral coefficients (MFCC), extracted from audio recordings, are further approximated, using 3 strategies: sampling, averaging, and estimation. SVM and LS-SVM categorize pre-processed data into normal, nodular, and diffuse classes. Since it is a three-class problem, various combination schemes are explored.  Constructed custom kernels outperformed a popular non-linear RBF kernel. Features, estimated with GMM, and SVM kernels, designed to exploit this information, is an interesting fusion of probabilistic and discriminative models for human voice-based classification of larynx pathology.

  • 172.
    Vedder, Benjamin
    et al.
    RISE Research Institutes of Sweden, Gothenburg, Sweden.
    Svensson, Joel
    RISE Research Institutes of Sweden, Gothenburg, Sweden.
    Vinter, Jonny
    RISE Research Institutes of Sweden, Gothenburg, Sweden.
    Jonsson, Magnus
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Automated Testing of Ultra-Wideband Positioning for Autonomous DrivingManuskript (preprint) (Övrigt vetenskapligt)
    Abstract [en]

    Autonomous vehicles need accurate and dependable positioning, and these systems need to be tested extensively. We have evaluated positioning based on Ultra-Wide Band (UWB) ranging with our self-driving model car using a highly automated approach. Random drivable trajectories were generated, while the UWB position was compared against the Real-Time Kinematic Satellite Navigation (RTK-SN) positioning system that our model car also is equipped with. Fault injection was used to study the fault tolerance of the UWB positioning system. Addressed challenges are: automatically generating test cases for real-time hardware, restore the state between tests and to maintain safety by preventing collisions. We were able to automatically generate and carry out hundreds of experiments on the model car in real time, and re-run them consistently with and without fault injection enabled. Thereby we demonstrate one novel approach to perform automated testing on complex real-time hardware.

  • 173.
    Verikas, Antanas
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Bacauskiene, Marija
    Kaunas University of Technology, Lithuania.
    Gelzinis, Adas
    Kaunas University of Technology, Lithuania.
    Leverages Based Neural Networks Fusion2004Ingår i: Neural information processing, 2004, s. 446-451Konferensbidrag (Refereegranskat)
    Abstract [en]

    To improve estimation results, outputs of multiple neural networks can be aggregated into a committee output. In this paper, we study the usefulness of the leverages based information for creating accurate neural network committees. Based on the approximate leave-one-out error and the suggested, generalization error based, diversity test, accurate and diverse networks are selected and fused into a committee using data dependent aggregation weights. Four data dependent aggregation schemes – based on local variance, covariance, Choquet integral, and the generalized Choquet integral – are investigated. The effectiveness of the approaches is tested on one artificial and three real world data sets.

  • 174.
    Verikas, Antanas
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Gelzinis, Adas
    Department of Applied Electronics, Kaunas University of Technology, Lithuania.
    Training neural networks by stochastic optimisation2000Ingår i: Neurocomputing, ISSN 0925-2312, E-ISSN 1872-8286, Vol. 30, nr 1-4, s. 153-172Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    We present a stochastic learning algorithm for neural networks. The algorithm does not make any assumptions about transfer functions of individual neurons and does not depend on a functional form of a performance measure. The algorithm uses a random step of varying size to adapt weights. The average size of the step decreases during learning. The large steps enable the algorithm to jump over local maxima/minima, while the small ones ensure convergence in a local area. We investigate convergence properties of the proposed algorithm as well as test the algorithm on four supervised and unsupervised learning problems. We have found a superiority of this algorithm compared to several known algorithms when testing them on generated as well as real data.

  • 175.
    Verikas, Antanas
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS). Kaunas University of Technology, Kaunas, Lithuania.
    Gelzinis, Adas
    Kaunas University of Technology, Kaunas, Lithuania.
    Bacauskiene, Marija
    Kaunas University of Technology, Kaunas, Lithuania.
    Hållander, Magnus
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Uloza, Virgilijus
    Kaunas University of Medicine, Kaunas, Lithuania.
    Kaseta, Marius
    Kaunas University of Medicine, Kaunas, Lithuania.
    Combining image, voice, and the patient's questionnaire data to categorize laryngeal disorders2010Ingår i: Artificial Intelligence in Medicine, ISSN 0933-3657, E-ISSN 1873-2860, Vol. 49, nr 1, s. 43-50Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Objective: This paper is concerned with soft computing techniques for categorizing laryngeal disorders based on information extracted from an image of patient's vocal folds, a voice signal, and questionnaire data.

    Methods: Multiple feature sets are exploited to characterize images and voice signals. To characterize colour, texture, and geometry of biological structures seen in colour images of vocal folds, eight feature sets are used. Twelve feature sets are used to obtain a comprehensive characterization of a voice signal (the sustained phonation of the vowel sound /a/). Answers to 14 questions constitute the questionnaire feature set. A committee of support vector machines is designed for categorizing the image, voice, and query data represented by the multiple feature sets into the healthy, nodular and diffuse classes. Five alternatives to aggregate separate SVMs into a committee are explored. Feature selection and classifier design are combined into the same learning process based on genetic search.

    Results: Data of all the three modalities were available from 240 patients. Among those, 151 patients belong to the nodular class, 64 to the diffuse class and 25 to the healthy class. When using a single feature set to characterize each modality, the test set data classification accuracy of 75.0%, 72.1%, and 85.0% was obtained for the image, voice and questionnaire data, respectively. The use of multiple feature sets allowed to increase the accuracy to 89.5% and 87.7% for the image and voice data, respectively. The test set data classification accuracy of over 98.0% was obtained from a committee exploiting multiple feature sets from all the three modalities. The highest classification accuracy was achieved when using the SVM-based aggregation with hyper parameters of the SVM determined by genetic search. Bearing in mind the difficulty of the task, the obtained classification accuracy is rather encouraging.

    Conclusions: Combination of both multiple feature sets characterizing a single modality and the three modalities allowed to substantially improve the classification accuracy if compared to the highest accuracy obtained from a single feature set and a single modality. In spite of the unbalanced data sets used, the error rates obtained for the three classes were rather similar.

  • 176.
    Verikas, Antanas
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Gelzinis, Adas
    Department of Applied Electronics, Kaunas University of Technology, Lithuania.
    Bacauskiene, Marija
    Department of Applied Electronics, Kaunas University of Technology, Lithuania.
    Uloza, Virgilijus
    Department of Otolaryngology, Kaunas University of Medicine, Lithuania.
    Integrating global and local analysis of color, texture and geometrical information for categorizing laryngeal images2006Ingår i: International journal of pattern recognition and artificial intelligence, ISSN 0218-0014, Vol. 20, nr 8, s. 1187-1205Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    An approach to integrating the global and local kernel-based automated analysis of vocal fold images aiming to categorize laryngeal diseases is presented in this paper. The problem is treated as an image analysis and recognition task. A committee of support vector machines is employed for performing the categorization of vocal fold images into healthy, diffuse and nodular classes. Analysis of image color distribution, Gabor filtering, cooccurrence matrices, analysis of color edges, image segmentation into homogeneous regions from the image color, texture and geometry view point, analysis of the soft membership of the regions in the decision classes, the kernel principal components based feature extraction are the techniques employed for the global and local analysis of laryngeal images. Bearing in mind the high similarity of the decision classes, the correct classification rate of over 94% obtained when testing the system on 785 vocal fold images is rather encouraging.

  • 177.
    Verikas, Antanas
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Gelzinis, Adas
    Kaunas University of Technology, Lithuania.
    Malmqvist, Kerstin
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Using unlabelled data to train a multilayer perceptron2001Ingår i: Neural Processing Letters, ISSN 1370-4621, E-ISSN 1573-773X, Vol. 14, nr 3, s. 179-201Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This Letter presents an approach to using both labelled and unlabelled data to train a multilayer perceptron. The unlabelled data are iteratively pre-processed by a perceptron being trained to obtain the soft class label estimates. It is demonstrated that substantial gains in classification performance may be achieved from the use of the approach when the labelled data do not adequately represent the entire class distributions. The experimental investigations performed have shown that the approach proposed may be successfully used to train neural networks for learning different classification problems.

  • 178.
    Verikas, Antanas
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Laboratoriet för intelligenta system.
    Guzaitis, Jonas
    Kaunas University of Technology.
    Gelzinis, Adas
    Kaunas University of Technology.
    Bacauskiene, Marija
    Kaunas University of Technology.
    A general framework for designing a fuzzy rule-based classifier2011Ingår i: Knowledge and Information Systems, ISSN 0219-1377, E-ISSN 0219-3116, Vol. 29, nr 1, s. 203-221Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper presents a general framework for designing a fuzzyrule-based classifier. Structure and parameters of the classifierare evolved through a two-stage genetic search. To reduce the searchspace, the classifier structure is constrained by a tree createdusing the evolving SOM tree algorithm. Salient input variables arespecific for each fuzzy rule and are found during the genetic searchprocess. It is shown through computer simulations of four real worldproblems that a large number of rules and input variables can beeliminated from the model without deteriorating the classificationaccuracy. By contrast, the classification accuracy of unseen data isincreased due to the elimination.This paper presents a general framework for designing a fuzzyrule-based classifier. Structure and parameters of the classifierare evolved through a two-stage genetic search. To reduce the searchspace, the classifier structure is constrained by a tree createdusing the evolving SOM tree algorithm. Salient input variables arespecific for each fuzzy rule and are found during the genetic searchprocess. It is shown through computer simulations of four real worldproblems that a large number of rules and input variables can beeliminated from the model without deteriorating the classificationaccuracy. By contrast, the classification accuracy of unseen data isincreased due to the elimination.

  • 179.
    Verikas, Antanas
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Kalsyte, Zivile
    Department of Electrical and Control Instrumentation, Kaunas University of Technology, Kaunas, Lithuania.
    Bacauskiene, Marija
    Department of Electrical and Control Instrumentation, Kaunas University of Technology, Kaunas, Lithuania.
    Gelzinis, Adas
    Department of Electrical and Control Instrumentation, Kaunas University of Technology, Kaunas, Lithuania.
    Hybrid and ensemble-based soft computing techniques in bankruptcy prediction: a survey2010Ingår i: Soft Computing - A Fusion of Foundations, Methodologies and Applications, ISSN 1432-7643, E-ISSN 1433-7479, Vol. 14, nr 9, s. 995-1010Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper presents a comprehensive review of hybrid and ensemble-based soft computing techniques applied to bankruptcy prediction. A variety of soft computing techniques are being applied to bankruptcy prediction. Our focus is on techniques, namely how different techniques are combined, but not on obtained results. Almost all authors demonstrate that the technique they propose outperforms some other methods chosen for the comparison. However, due to different data sets used by different authors and bearing in mind the fact that confidence intervals for the prediction accuracies are seldom provided, fair comparison of results obtained by different authors is hardly possible. Simulations covering a large variety of techniques and data sets are needed for a fair comparison. We call a technique hybrid if several soft computing approaches are applied in the analysis and only one predictor is used to make the final prediction. In contrast, outputs of several predictors are combined, to obtain an ensemble-based prediction.

  • 180.
    Verikas, Antanas
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Lipnickas, Arunas
    Department of Applied Electronics, Kaunas University of Technology, Lithuania.
    Malmqvist, Kerstin
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Selecting neural networks for a committee decision2002Ingår i: International Journal of Neural Systems, ISSN 0129-0657, E-ISSN 1793-6462, Vol. 12, nr 5, s. 351-361Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    To improve recognition results, decisions of multiple neural networks can be aggregated into a committee decision. In contrast to the ordinary approach of utilizing all neural networks available to make a committee decision, we propose creating adaptive committees, which are specific for each input data point. A prediction network is used to identify classification neural networks to be fused for making a committee decision about a given input data point. The jth output value of the prediction network expresses the expectation level that the jth classification neural network will make a correct decision about the class label of a given input data point. The proposed technique is tested in three aggregation schemes, namely majority vote, averaging, and aggregation by the median rule and compared with the ordinary neural networks fusion approach. The effectiveness of the approach is demonstrated on two artificial and three real data sets.

  • 181.
    Verikas, Antanas
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Lipnickas, Arunas
    Department of Applied Electronics, Kaunas University of Technology, Lithuania.
    Malmqvist, Kerstin
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Bacauskiene, Marija
    Department of Applied Electronics, Kaunas University of Technology, Lithuania.
    Gelzinis, Adas
    Department of Applied Electronics, Kaunas University of Technology, Lithuania.
    Soft combination of neural classifiers: a comparative study1999Ingår i: Pattern Recognition Letters, ISSN 0167-8655, E-ISSN 1872-7344, Vol. 20, nr 4, s. 429-444Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper presents four schemes for soft fusion of the outputs of multiple classifiers. In the first three approaches, the weights assigned to the classifiers or groups of them are data dependent. The first approach involves the calculation of fuzzy integrals. The second scheme performs weighted averaging with data-dependent weights. The third approach performs linear combination of the outputs of classifiers via the BADD defuzzification strategy. In the last scheme, the outputs of multiple classifiers are combined using Zimmermann's compensatory operator. An empirical evaluation using widely accessible data sets substantiates the validity of the approaches with data-dependent weights, compared to various existing combination schemes of multiple classifiers.

  • 182.
    Verikas, Antanas
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Lundström, Jens
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Bacauskiene, Marija
    Department of Electrical and Control Equipment, Kaunas University of Technology, Studentu 50, LT-51368 Kaunas, Lithuania.
    Gelzinis, Adas
    Department of Electrical and Control Equipment, Kaunas University of Technology, Studentu 50, LT-51368 Kaunas, Lithuania.
    Advances in computational intelligence-based print quality assessment and control in offset colour printing2011Ingår i: Expert systems with applications, ISSN 0957-4174, E-ISSN 1873-6793, Vol. 38, nr 10, s. 13441-13447Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Nowadays most of information processing steps in printing industry are highly automated, except the last one – print quality assessment and control. Usually quality assessment is a manual, tedious, and subjective procedure. This article presents a survey of non numerous developments in the field of computational intelligence-based print quality assessment and control in offset colour printing. Recent achievements in this area and advances in applied computational intelligence, expert and decision support systems lay good foundations for creating practical tools to automate the last step of the printing process.

  • 183.
    Verikas, Antanas
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Malmqvist, Kerstin
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Bacauskiene, Marija
    Department of Applied Electronics, Kaunas University of Technology, Lithuania.
    Combining neural networks, fuzzy sets, and the evidence theory based techniques for detecting colour specks2001Ingår i: Journal of Intelligent & Fuzzy Systems, ISSN 1064-1246, E-ISSN 1875-8967, Vol. 10, nr 2, s. 117-130Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    An approach to detecting colour specks in an image taken from a pulp sample of recycled paper is presented. The task is solved through pixel-wise colour classification by an artificial neural network and post-processing based on the evidence theory. The network is trained using possibilistic target values, which are determined through a self-organising process in a 2D and 1D map of chromaticity and lightness, respectively. The problem of post-processing of a pixelwise-classified image is addressed from the point of view of the Dempster-Shafer theory of evidence. Each neighbour of a pixel being analysed is considered as an item of evidence supporting particular hypotheses regarding the class label of that pixel. The strength of support is defined as a function of the degree of uncertainty in class label of the neighbour, and the distance between the neighbour and the pixel being considered. The experiments performed have shown that the colour classification results correspond well with the human perception of colours of the specks.

  • 184.
    wang, wei
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Cooperative Quality-of-Service Prediction in Distributed SystemsSjälvständigt arbete på avancerad nivå (magisterexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

     

     

  • 185.
    Wang, Yan
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    A Domain-Specific Language for Protocol Stack Implementation in Embedded Systems2011Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    Embedded network software has become increasingly interesting for both research and business as more and more networked embedded systems emerge. Well-known infrastructure protocol stacks are reimplemented on new embedded hardware and software architectures. New requirements of modern applications and devices require to implement newly designed or revised protocols. However, implementing protocol stacks for embedded systems remains a time-consuming and error-prone task due to the complexity and performancecritical nature of network software. It is even more so when targeting resource constrained embedded systems: implementations have to minimize energy consumption, memory usage etc., while programming efficiency is needed to improve on time-to-market, scalability, maintainability and product evolution. Therefore, it is worth researching on how to make protocol stack implementations for embedded systems both easier and more likely to be correct within the resource limits.

    In the work presented in this thesis, we take a language-based approach and aim to facilitate the implementation of protocol stacks while realizing performance demands and being aware of energy consumption and memory usage within the constraints imposed by embedded systems. We give background on DSL implementation techniques, investigate common practices in network protocol development to determine the potential of domain-specifi languages (DSLs) for embedded network software, and propose a domain-specifi embedded language (DSEL), Protege (Protocol Implementation Generator), for declaratively describing overlaid protocol stacks. In Protege, a high-level packet specification is dually compiled into an internal data representation for protocol logic implementation, and packet processing methods which are then integrated into the dataflow framework of a protocol overlay specification. Constructs for finite state machines allow to specify protocol logic in a concise manner, close to the protocol specification style. Protege specifications are compiled to highly portable C code for various architectures.

    Four attached scientific papers report our main results in more detail: an embedded implementation of the data description calculus in Haskell, a compilation framework for generating packet processing code with overlays, the domain-specific language Protege in overview (including embedding techniques and runtime system features), and a real-world case study implementing an industrial application protocol.

  • 186.
    Wang, Yan
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Gaspes, Veronica
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    An embedded language for programming protocol stacks in embedded systems2011Ingår i: PEPM '11: proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, January 24, 2011, Austin, Texas, USA, New York, NY, USA: ACM Press, 2011, s. 63-72Konferensbidrag (Refereegranskat)
    Abstract [en]

    Protocol stack specifications are well-structured documents that follow a number of conventions and notations that have proven very useful for the design and dissemination of communication protocols. Protocol stack implementations on the other hand, are done in low-level languages, using error-prone programming techniques resulting in programs that are difficult to relate to the specifications, difficult to maintain, modify, extend and reuse. To overcome these problems we propose a domain-specific language that provides abstractions close to the notations used in protocol specifications. From descriptions in our language we generate C programs that can be integrated with other systems software. The language provides constructs to describe packet formats, including physical layout, constraints and dependencies. It also provides constructs for state machines and for layering protocols into stacks. Experiments show that the C programs we generate are comparable in performance and binary size to hand-crafted C programs.

  • 187.
    Wecksten, Mattias
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Resource budgeting as a tool for reduced development cost for embedded real-time computer systems2004Licentiatavhandling, monografi (Övrigt vetenskapligt)
    Abstract [en]

    Wouldn’t it be great if there were a systematic method for derivation of non functional constraints available at design time that made it possible to verify design and make implementa tion a much clearer task? This kind of methods are needed since systems of increasing com plexity has to be developed, and the cost for failing has proven to bee too high. The problem is how to derive the design time constraints into implementation time constraints, maintaining the traceability for the individual constraints, and early on get indications whether a project is about to fail or not.A method for implementation time constraint derivation has been developed and is presented in this thesis. Along with the basic method, several extensions are proposed. Evaluations of the practical usefulness of the method and the method’s scalability have been done. To prove the method’s importance in real development projects, a method for evaluation of the usability of this kind of methods has also been developed. The evaluation of the practicality shows that it is possible to find close to optimal solutions (within percent) in short time (within minutes). The evaluation of the scalability shows that the run time for finding implementable solutions scales polynomial with the size of the task graph. The evaluation of the usability shows that using the proposed method always leads to lower development cost than using an ad hoc method, in the case that the implementation is about to fail.

  • 188.
    Weckstén, Mattias
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Jonsson, Magnus
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Vasell, J.
    Generic Systems Sweden AB.
    Derivation of implementation constraints - implementation simulation and treatment of multiple design choices2005Ingår i: Proceedings: 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005, 16-20 June 2005, Shanghai, China, Los Alamitos, Calif.: IEEE Computer Society, 2005, s. 459-466Konferensbidrag (Refereegranskat)
    Abstract [en]

    The industrial use of ad hoc implementation methods for non-functional constrained tasks has resulted in unnecessary expensive projects. In some cases, ad hoc methods result in overly many iterations to be made and in some severe cases, total project breakdown. To be able to solve these problems a method has been developed to derive end-to-end non-functional constraints, such as timing requirements, to task-level constraints and to promote this information to the implementation phase of the project. For a tool, as the one described above, to be really useful it is important to be able to show that there is a potential cost reduction to be made. To be able to show that a certain implementation method costs less in work hours than to use an ad hoc implementation method, a model for implementation simulation with support for multiple implementation alternatives has been developed. The experiments show that using the budget based implementation method leads to a significant cost reduction in most cases, compared to the ad hoc method. As far as we know, no similar experiments have been done to compare implementation methods.

  • 189.
    Wehrmeister, Marco A.
    et al.
    Federal University of Rio Grande do Sul, Porto Alegre, RS, Brazil.
    Pignaton de Freitas, Edison
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Pereira, Carlos E.
    Federal University of Rio Grande do Sul, Porto Alegre, RS, Brazil.
    An Infrastructure for UML-Based Code Generation Tools2009Ingår i: Analysis, architectures and modelling of embedded systems: Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009, proceedings / [ed] Rettberg, A Zanella, MC Rammig, FJ, New York: Springer-Verlag New York, 2009, s. 32-43Konferensbidrag (Refereegranskat)
    Abstract [en]

    The use of Model-Driven Engineering (MDE) techniques in the domain of distributed embedded real-time systems are gain importance in order to cope with the increasing design complexity of such systems. This paper discusses an infrastructure created to build GenERTiCA, a flexible tool that supports a MDE approach, which uses aspect-oriented concepts to handle nonfunctional requirements from embedded and real-time systems domain. GenERTiCA generates source code from UML models, and also performs weaving of aspects, which have been specified within the UML model. Additionally, this paper discusses the Distributed Embedded Real-Time Compact Specification (DERCS), a PIM created to support UML-based code generation tools. Some heuristics to transform UML models into DERCS, which have been implemented in GenERTiCA, are also discussed.

  • 190.
    Yichong, Zhou
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Chenxi, Zhang
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    A database design for IDE2014Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The thesis is the culmination of an academic degree and an important steppingstone for the student on the way to employment. Academic and industrial institutionsrely on thesis students to explore research directions that may otherwise beoverlooked. Consequently, an efficient process for connecting students withsupervisors and relevant, viable thesis proposals is crucial for students, for academiaas well as for the industry. A database can serve as the basis of a software applicationto facilitate such a process. Support for tackling concerns such as data persistence,redundancy and security, which are challenges in most application designs, is built into common database systems. In this work, we investigate how a database system canbe leveraged as the foundation for an application that connects students with thesisproposals and supervisors.

  • 191.
    Younas, Muhammad
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    A comparative analysis of Cisco Performance Routing (PfR) and other performance enhancing techniques - Cisco QoS and Path Control2011Självständigt arbete på avancerad nivå (magisterexamen), 15 poäng / 22,5 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Eleven years ago Cisco introduced three types of applications on the same converged network and named it AVVID (Architecture for Voice, Video and Integrated Data). In spite of the initial interest and hype surrounding AVVID, the feature was and still is unable to confront problems such as: data priority, load balancing and network congestion. The work in this report addressed these issues within the network. Different Cisco Internetwork Operating System (IOS) methods: routing protocols, Cisco IOS QoS (including LLQ, LFI and Header Compression), Path Control and Cisco Performance Routing (PfR) were all tested to see which feature would work best at enhancing network performance.

    A practical network was created in which these features were carefully implemented one after another. In every step, the results were observed and recorded and if necessary repeated in order to check their validity. The results for RTT (Round Trip Time) and MOS (Mean Opinion Score) showed that in comparison to Path Control and Cisco IOS QoS (Quality of Service) mechanisms, Cisco PfR was able to generate routes on the fly during times of network congestion. This cannot be achieved with the use of Cisco QoS and Path Control which makes Cisco Performance Routing a far more superior feature. Although the focus of the work was VoIP (Voice over Internet Protocol) data, it is possible to construct a network with any application as Cisco PfR is able to reroute data. Cisco PfR is an easily accessible IOS feature which, once implemented, requires very little updating and maintenance.

  • 192.
    Zacarias, Iulisloi
    et al.
    Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil.
    Gaspary, Luciano Paschoal
    Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil.
    Kohl, Andersonn
    Brazilian Army, Brasília, Brasilien.
    Fernandes, Ricardo Q. A.
    Brazilian Army, Brasília, Brasilien.
    Stocchero, Jorgito M.
    Brazilian Army, Brasília, Brasilien.
    Pignaton de Freitas, Edison
    Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil.
    Combining Software-Defined and Delay-Tolerant Approaches in Last-Mile Tactical Edge Networking2017Ingår i: IEEE Communications Magazine, ISSN 0163-6804, E-ISSN 1558-1896, Vol. 55, nr 10, s. 22-29, artikel-id 8067679Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Network-centric warfare is a no-way-back trend in modern military operations. The application of this concept ranges from upper-level decision making echelons to troop guidance on the battlefield, and many studies have been carried out in this area. However, most of these are concerned with either the higher-level strategic networks, that is, the networks linking the higher echelons with abundant resources, satellite communications, or even a whole network infrastructure, or high-end TEN, representing resource-rich troops in the field, with military aircraft, battleships, or ground vehicles equipped with powerful wireless communication devices and (almost) unrestricted energy resources for communication. However, these studies fail to take into account the "last-mile TEN," which comprises resource constrained communication devices carried by troopers, equipping sensor nodes deployed in the field or small unmanned aerial vehicles. In an attempt to fill this gap in the studies on battlefield networking, this article seeks to combine software-defined and delay-tolerant approaches to support the diverse range of strict requirements for applications in the last-mile TEN. © 2017 IEEE.

  • 193.
    Zacarias, Iulisloi
    et al.
    Federal University of Rio Grande do Sul, Porto Alegre, RS, Brazil.
    Schwarzrock, Janaína
    Federal University of Rio Grande do Sul, Porto Alegre, RS, Brazil.
    Gaspary, Luciano Paschoal
    Federal University of Rio Grande do Sul, Porto Alegre, RS, Brazil.
    Kohl, Anderson
    Brazilian Army, Brasilia, DF, Brazil.
    Fernandes, Ricardo Q. A.
    Brazilian Army, Brasilia, DF, Brazil.
    Stocchero, Jorgito M.
    Brazilian Army, Brasilia, DF, Brazil.
    Pignaton de Freitas, Edison
    Federal University of Rio Grande do Sul, Porto Alegre, RS, Brazil.
    Employing SDN to control video streaming applications in military mobile networks2017Ingår i: 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA) / [ed] Aris Gkoulalas-Divanis, Miguel P. Correia, Dimiter R. Avresky, New York: IEEE, 2017, s. 1-4Konferensbidrag (Refereegranskat)
    Abstract [en]

    Video streaming is an important service provided by surveillance systems to enhance situation awareness. However, in military systems, data acquisition heavily depends on the network infrastructure. In this application domain, units are spread and the distance between the sources of data and the decision makers may be very large. In the case of video streaming, the demand for high network throughput poses some extra requirements on the network. Considering the mobility patterns of the military units and the diversity of the new generations of sensors, especially those used by Unmanned Aerial Vehicles (UAV), the configuration and the management of the network must be so dynamic and so sensitive to data flow parameters that manual configuration is not acceptable. For this reason, the capability of the network to configure itself to offer the necessary Quality of Service is a must. Using principles of Software Defined Networks (SDN), this paper presents an analysis of video streaming for military surveillance in which multiple UAVs are employed as data providers through an SDN-enabled network, with promising results. ©2017 by IEEE

  • 194.
    Zacarias, Iulisloi
    et al.
    Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil.
    Schwarzrock, Janaína
    Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil.
    Gaspary, Luciano Paschoal
    Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil.
    Kohl, Andersonn
    Brazilian Army, Brasília, Brasilien.
    Fernandes, Ricardo Q. A.
    Brazilian Army, Brasília, Brasilien.
    Stocchero, Jorgito M.
    Brazilian Army, Brasília, Brasilien.
    Pignaton de Freitas, Edison
    Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil.
    Enhancing Mobile Military Surveillance Based on Video Streaming by Employing Software Defined Networks2018Ingår i: Wireless Communications & Mobile Computing, ISSN 1530-8669, E-ISSN 1530-8677, Vol. 2018, s. 1-12, artikel-id 2354603Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Situation awareness in surveillance systems benefits from high-quality video streaming service. This is even more important considering military systems, in which delays in image transmission may have a significant impact on the decision-making process. However, in order to deliver high-quality video streaming service, the required network infrastructure may be prohibitively complex, or even completely impossible to deploy, if mobile data providers are considered. Moreover, the demand for high network throughput poses extra requirements on the network. Considering this context, this paper addresses the problem of highly mobile networks composed of unmanned aerial vehicles (UAVs) as data providers of a military surveillance system. The proposed approach to tackle the problem is based on a Software Defined Networking (SDN) approach aiming at providing the best routes to deliver the data, enhancing the end-user quality of experience. An extensive experimental campaign was performed by means of simulations and the acquired results provide solid evidence of the usefulness of this proposal.© 2018 Iulisloi Zacarias et al.

  • 195.
    ZAGANIDIS, ANESTIS
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Self-organising Methods for Malfunction Prediction: A Volvo bus case study2015Självständigt arbete på avancerad nivå (masterexamen), 30 poäng / 45 hpStudentuppsats (Examensarbete)
    Abstract [en]

    This thesis project investigates approaches for malfunction prediction using unsupervised, self-organized models, with an orientation on bus fleets. Certain bus malfunctions are not predictable with conventional methods and preventive replacements are too costly and time consuming. Malfunctions that could result in interruption of service or on degradation of safety  are of high priority to predict.The settings of the desired application define the following constraints: definition of a model by an expert is not desirable as it is not a scalable solution, ambient conditions or usage schedule must not affect the prediction, data communication between the systems is limited so data must be compressed with relevant to the problem features. In this work, definition of normal or faulty operation is not handled by an expert, but using the Wisdom of the crowd idea and Consensus Self-organized models for fault detection (COSMO), or by the system's past state by monitoring an autoencoder's reconstruction error. In COSMO each system constructs a model describing its condition and then all distances between models are estimated to find the Most Central Pattern (MCP), which is considered the normal state of the system. The measure of deviation is the tendency of a system's model to be farther from the MCP after a sequence of observations, expressed as a probability that the deviation is incidental.  Factors that apply to the total of systems, such as the weather conditions are thus minimized.The algorithms approach the problem from the scopes of: linear and non linear relations between signals, distribution of values of a single signal, spectrum information of a single signal. This is achieved by constructing relevant models of each observed system (bus). The performance of the implemented algorithms is investigated using ROC curves and real bus fleet data, targeting at predicting a set of malfunctions of the air pressure system.More tests are performed using artificial data with injected malfunctions, to evaluate the performance of the methods. By applying the method on artificial data, the ability of different methods to detect different malfunctions is exhibited.

  • 196.
    Zain-ul-Abdin,
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Inbyggda system (CERES).
    Svensson, Bertil
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Inbyggda system (CERES).
    Specifying Run-time Reconfiguration in Processor Arrays using High-level language2010Ingår i: WRC 2010: 4th HiPEAC Workshop on Reconfigurable Computing, Pisa, 2010, s. 1-10Konferensbidrag (Refereegranskat)
    Abstract [en]

    The adoption of run-time reconfigurable parallel architectures for high-performance embedded systems is constrained by the lackof a unified programming model which can express both parallelism and reconfigurability. We propose to program an emerging class of reconfigurable processor arrays by using the programming model of occam-pi and describe how the extensions of channel direction specifiers, mobile data, dynamic process invocation, and process placement attributes can be used to express run-time reconfiguration in occam-pi. We present implementations of DCT algorithm to demonstrate the applicability of occam-pi to express reconfigurability. We concluded that occam-pi appears to be a suitable programming model for programming run-time reconfigurable processor arrays.

  • 197.
    Zeadally, Sherali
    et al.
    Univ Dist Columbia, Dept Comp Sci & Informat Technol, Network Syst Lab, Washington, DC 20008 USA..
    Hunt, Ray
    Univ Canterbury, Coll Engn, Dept Comp Sci & Software Engn, Christchurch 1, New Zealand..
    Chen, Yuh-Shyan
    Natl Taipei Univ, Dept Comp Sci & Informat Engn, San Shia, Taipei County, Taiwan..
    Irwin, Angela
    Univ S Australia, Sch Comp & Informat Sci, Mawson Lakes, SA 5095, Australia..
    Hassan, Aamir
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Vehicular ad hoc networks (VANETS): status, results, and challenges2012Ingår i: Telecommunications Systems, ISSN 1018-4864, E-ISSN 1572-9451, Vol. 50, nr 4, s. 217-241Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Recent advances in hardware, software, and communication technologies are enabling the design and implementation of a whole range of different types of networks that are being deployed in various environments. One such network that has received a lot of interest in the last couple of years is the Vehicular Ad-Hoc Network (VANET). VANET has become an active area of research, standardization, and development because it has tremendous potential to improve vehicle and road safety, traffic efficiency, and convenience as well as comfort to both drivers and passengers. Recent research efforts have placed a strong emphasis on novel VANET design architectures and implementations. A lot of VANET research work have focused on specific areas including routing, broadcasting, Quality of Service (QoS), and security. We survey some of the recent research results in these areas. We present a review of wireless access standards for VANETs, and describe some of the recent VANET trials and deployments in the US, Japan, and the European Union. In addition, we also briefly present some of the simulators currently available to VANET researchers for VANET simulations and we assess their benefits and limitations. Finally, we outline some of the VANET research challenges that still need to be addressed to enable the ubiquitous deployment and widespead adoption of scalable, reliable, robust, and secure VANET architectures, protocols, technologies, and services.

  • 198.
    Zeng, Yingfu
    et al.
    Rice University, TX, United States.
    Bartha, Ferenc
    Rice University, TX, United States.
    Taha, Walid
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Compile-Time Extensions to Hybrid ODEs2017Ingår i: Electronic Proceedings in Theoretical Computer Science, ISSN 2075-2180, E-ISSN 2075-2180, s. 52-70Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Reachability analysis for hybrid systems is an active area of development and has resulted in many promising prototype tools. Most of these tools allow users to express hybrid system as automata with a set of ordinary differential equations (ODEs) associated with each state, as well as rules for transitions between states. Significant effort goes into developing and verifying and correctly implementing those tools. As such, it is desirable to expand the scope of applicability tools of such as far as possible. With this goal, we show how compile-time transformations can be used to extend the basic hybrid ODE formalism traditionally supported in hybrid reachability tools such as SpaceEx or Flow*. The extension supports certain types of partial derivatives and equational constraints. These extensions allow users to express, among other things, the Euler-Lagrangian equation, and to capture practically relevant constraints that arise naturally in mechanical systems. Achieving this level of expressiveness requires using a binding time-analysis (BTA), program differentiation, symbolic Gaussian elimination, and abstract interpretation using interval analysis. Except for BTA, the other components are either readily available or can be easily added to most reachability tools. The paper therefore focuses on presenting both the declarative and algorithmic specifications for the BTA phase, and establishes the soundness of the algorithmic specifications with respect to the declarative one.

  • 199.
    Zeng, Yingfu
    et al.
    Rice University, Houston, USA.
    Chad, Rose
    Rice University, Houston, USA.
    Taha, Walid
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). Rice University, Houston, USA.
    Duracz, Adam
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Atkinson, Kevin
    Rice University, Houston, USA.
    Philippsen, Roland
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Cartwright, Robert
    Rice University, Houston, USA.
    O'Malley, Marcia
    Rice University, Houston, USA.
    Modeling Electromechanical Aspects of Cyber-Physical Systems2016Ingår i: Journal of Software Engineering for Robotics, ISSN 2035-3928, E-ISSN 2035-3928, Vol. 7, nr 1, s. 100-119Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Model-based tools have the potential to significantly improve the process of developing novel cyber-physical systems (CPS). In this paper, we consider the question of what language features are needed to model such systems. We use a small, experimental hybrid systems modeling language to show how a number of basic and pervasive aspects of cyber-physical systems can be modeled concisely using the small set of language constructs. We then consider four, more complex, case studies from the domain of robotics. The first, a quadcopter, illustrates that these constructs can support the modeling of interesting systems. The second, a serial robot, provides a concrete example of why it is important to support static partial derivatives, namely, that it significantly improves the way models of rigid body dynamics can be expressed. The third, a linear solenoid actuator, illustrates the language’s ability to integrate multiphysics subsystems. The fourth and final, a compass gait biped, shows how a hybrid system with non-trivial dynamics is modeled. Through this analysis, the work establishes a strong connection between the engineering needs of the CPS domain and the language features that can address these needs. The study builds the case for why modeling languages can be improved by integrating several features, most notably, partial derivatives, differentiation without duplication, and support for equations. These features do not appear to be addressed in a satisfactory manner in mainstream modeling and simulation tools.

  • 200.
    Zeng, Yingfu
    et al.
    Rice University, Houston, TX, USA.
    Rose, Chad
    Rice University, Houston, TX, USA.
    Brauner, Paul
    Rice University, Houston, TX, USA.
    Taha, Walid
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). Rice University, Houston, TX, USA.
    Masood, Jawad
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Philippsen, Roland
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    O'Malley, Marcia
    Rice University, Houston, TX, USA.
    Cartwright, Robert
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS). Rice University, Houston, TX, USA.
    Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract)2014Ingår i: 2014 IEEE International Conference on High Performance Computing and Communications, 2014 IEEE 6th International Symposium on Cyberspace Safety and Security, 2014 IEEE 11th International Conference on Embedded Software and Systems (HPCC, CSS, ICESS) / [ed] Randall Bilof, Piscataway, NJ: IEEE Computer Society, 2014, s. 550-557Konferensbidrag (Refereegranskat)
    Abstract [en]

    We continue to consider the question of what language features are needed to effectively model cyber-physical systems (CPS). In previous work, we proposed using a core language as a way to study this question, and showed how several basic aspects of CPS can be modeled clearly in a language with a small set of constructs. This paper reports on the result of our analysis of two, more complex, case studies from the domain of rigid body dynamics. The first one, a quadcopter, illustrates that previously proposed core language can support larger, more interesting systems than previously shown. The second one, a serial robot, provides a concrete example of why we should add language support for static partial derivatives, namely that it would significantly improve the way models of rigid body dynamics can be expressed. © 2014 IEEE.

12345 151 - 200 av 203
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf