hh.sePublikationer
Ändra sökning
Avgränsa sökresultatet
45678910 301 - 350 av 1234
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard1
  • 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.
  • 301.
    David, Jennifer
    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).
    Valencia, Rafael
    Carnegie Mellon University, Pittsburgh, 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).
    Iagnemma, Karl
    Massachusetts Institute of Technology, Cambridge, USA.
    Local Path Optimizer for an Autonomous Truck in a Harbour Scenario2017Konferensbidrag (Refereegranskat)
    Abstract [en]

    Recently, functional gradient algorithms like CHOMP have been very successful in producing locally optimal motion plans for articulated robots. In this paper, we have adapted CHOMP to work with a non-holonomic vehicle such as an autonomous truck with a single trailer and a differential drive robot. An extended CHOMP with rolling constraints have been implemented on both of these setup which yielded feasible curvatures. This paper details the experimental integration of the extended CHOMP motion planner with the sensor fusion and control system of an autonomous Volvo FH-16 truck. It also explains the experiments conducted on the differential-drive robot. Initial experimental investigations and results conducted in a real-world environment show that CHOMP can produce smooth and collision-free trajectories for mobile robots and vehicles as well. In conclusion, this paper discusses the feasibility of employing CHOMP to mobile robots.

  • 302.
    David, Jennifer
    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).
    Valencia, Rafael
    The Robotics Institute, Carnegie Mellon University, Pittsburgh, USA.
    Philippsen, Roland
    Iagnemma, Karl
    Massachusetts Institute of Technology, Cambridge, USA.
    Trajectory Optimizer for an Autonomous Truck in Container Terminal2017Ingår i: ICRA 2017 Workshop on Robotics and Vehicular Technologies for Self-driving cars, 2017Konferensbidrag (Refereegranskat)
  • 303.
    Davidsson, Adam
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Lindbom, Fredrik
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Slow-response generator2015Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Because of environmental pollution, forces the automotive industry constantly reduced emissions requirements legislated by the authorities. Improved techniques for engine control are a must for bringing down emissions. The use of an Exhaust Gas Recirculation (EGR) reduces NOx emissions significantly. Faulty EGR valves affect the emissions negative and therefore needs to be eliminated.

    It is possible to create malfunctions on the EGR valve by modifying the software of the control unit (ECU), but it does not create realistic malfunctions. The problem by modifying the software is that flags and various parameters are set to confirm the malfunction of the ECU. To create actual failure of the EGR valve an external tool to modify the control signal is needed.

    The project's main objective is on a flexible way creating malfunctions on the EGR valve in a truck engine. By investigating engine behavior in a realistic and credible way, one can eliminate malfunctions on the EGR valve. The aim was achieved by a model that has been developed that can, using electronics and a microprocessor read and create a control signal.

    The electronic circuit is controlled by the microprocessor, which can modify the signal and create malfunctions in the form of a slow valve "slow-response". A graphical user interface is used to change and influence the error signal. The circuit with the microprocessor is placed safely in a box to both protect and preserve the components.

    Simulation of Slow response has resulted in an incorrect operated valve being created. Using two different methods a Slow-response can be created. One method is a delay in time, which occurs when the new position is given, the second method is a ramp function when the control signal is gradually increasing. The software can also create an error that mimics a stuck valve of a fixed value. With the above listed methods it is possible in theory to find unknown malfunctions on the EGR valve that influence emissions negatively. 

  • 304.
    Davidsson, Martin
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Karlsson, Jonas
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Mätning och analys av elkvalité2012Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
  • 305.
    de Freitas, Edison Pignaton
    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).
    Allgayer, Rodrigo S.
    PPGEE, UFRGS, Brazil.
    Wehrmeister, Marco A.
    PPGC, UFRGS, Brazil.
    Pereira, Carlos E.
    PPGEE, UFRGS, Brazil.
    Larsson, Tony
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Supporting platform for heterogeneous sensor network operation based on unmanned vehicles systems and wireless sensor nodes2009Ingår i: 2009 IEEE Intelligent Vehicles Symposium, Volumes 1 and 2 / [ed] Institute of Electrical and Electronics, New York: IEEE Press, 2009, s. 786-791Konferensbidrag (Refereegranskat)
    Abstract [en]

    Advances in vehicle intelligence technology is enabling the development of systems composed of unmanned vehicles, which are able to interact with devices spread on the environment in order to take decisions related to their movements. Sensor networks represent an area that can profit a lot of this new possibilities, as autonomous vehicles can be used to carry sensor devices, which interacting with static sensor nodes can enhance the results provided by the overall system. However, some problems arise in applications' development in such systems due to the network nodes heterogeneity, and also the dynamicity of the environment in which they are deployed, which changes constantly. Thus, new platform solutions are necessary to handle the heterogeneous nodes capabilities in order to facilitate coordination and integration among them. This paper proposes a supporting infrastructure to address these problems composed of an adaptive middleware and a customizable sensor node platform. The goal is to support cooperation in heterogeneous sensor networks, which are composed by static and mobile nodes with different capabilities. The middleware adapts itself in order to manage the very distinct computing resources of the nodes, and also changes in the environment and in the application demands. The customizable sensor node platform allows optimizations in hw/sw modules to meet specific application requirements, allowing the creation of low-end and resource rich nodes that work in an integrated network. In order to illustrate the proposed approach, a system for military surveillance applications is presented as case study.

  • 306.
    de Freitas, Edison Pignaton
    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).
    Binotto, Alécio Pedro Delazari
    Fraunhofer IGD / TU Darmstadt, Germany.
    Pereira, Carlos Eduardo
    PPGC UFRGS, Brazil.
    Stork, Andre
    Fraunhofer IGD / TU Darmstadt, Germany.
    Larsson, Tony
    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).
    Dynamic activity and task allocation supporting uav teams in surveillance systems2009Ingår i: Proceedings of the International Multiconference on Computer Science and Information Technology, 2009. IMCSIT '09, Piscataway, N.J.: IEEE Press, 2009, s. 51-58Konferensbidrag (Refereegranskat)
    Abstract [en]

    The use of Unmanned Aerial Vehicles is increasing in the field of area patrolling and surveil- lance. A great issue that emerge in designing such systems is the target workload distribution over a fleet of UAVs, which generally have different capabilities of sensing and computing power. Targets should be assigned to the most suitable UAVs in order to efficiently perform the end-user initiated missions. To perform these missions, the UAVs require powerful high-performance platforms to deal with many dif- ferent algorithms that make use of massive calculations. The use of COTS hardware (e.g., GPU) presents an interesting low-cost alternative to compose the required platform. However, in order to efficiently use these heterogeneous platforms in a dynamic scenario, such as in surveillance systems, runtime reconfigu- ration strategies must be provided. This paper presents a dynamic approach to distribute the handling of targets among the UAVs and a heuristic method to address the efficient use of the heterogeneous hard- ware that equips these UAVs, with the goal to meet also mission timing requirements. Preliminary simu- lation results of the proposed heuristics are also provided.

  • 307.
    de Freitas, Edison Pignaton
    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). Institute of Informatics, Federal University of Rio Grande do Sul, Brazil.
    Bösch, Bernhard
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Allgayer, Rodrigo
    Electrical Engineering Department, Universidade Federal do Rio Grande do Sul, Brazil.
    Steinfeld, Leonardo
    Electrical Engineering Institute, Universidad de la República, Uruguay.
    Wagner, Flávio
    Institute of Informatics, Federal University of Rio Grande do Sul, Brazil.
    Carro, Luigi
    Institute of Informatics, Federal University of Rio Grande do Sul, Brazil.
    Pereira, Carlos
    Institute of Informatics, Federal University of Rio Grande do Sul, Brazil; Electrical Engineering Department, Universidade Federal do Rio Grande do Sul, Brazil.
    Larsson, Tony
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Mobile Agents Model and Performance Analysis of a Wireless Sensor Network Target Tracking Application2011Ingår i: Smart spaces and next generation wired/wireless networking: 11th International Conference, NEW2AN 2011 and 4th Conference on Smart Spaces, RuSMART 2011, St. Petersburg, Russia, August 22 -25, 2011 ; proceedings / [ed] Sergey Balandin, Heidelberg: Springer Berlin/Heidelberg, 2011, Vol. 6869, s. 274-286Konferensbidrag (Refereegranskat)
    Abstract [en]

    Advances on wireless communication and sensor systems enabled the growing usage of Wireless Sensor Networks. This kind of network is being used to support a number of new emerging applications, thus the importance in studying the efficiency of new approaches to program them. This paper proposes a performance study of an application using high-level mobile agent model for Wireless Sensor Networks. The analysis is based on a mobile object tracking system, a classical WSN application. It is assumed that the sensor nodes are static, while the developed software is implemented as mobile agents by using the AFME framework. The presented project follows a Model-Driven Development (MDD) methodology using UML (Unified Modeling Language) models. Metrics related to dynamic features of the implemented solution are extracted from the deployed application, allowing a design space exploration in terms of metrics such as performance, memory and energy consumption. © Springer-Verlag Berlin Heidelberg 2011.

  • 308.
    de Freitas, Edison Pignaton
    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).
    Heimfarth, Tales
    Computer Science Department UFLA - Brazil.
    Costa, Luiz Augusto Guimarães
    Computer Science Department UFLA - Brazil.
    Ferreira, Armando M.
    Military Institute of Engineering - Brazil.
    Pereira, Carlos Eduardo
    PPGC UFRGS - Brazil.
    Wagner, Flávio Rech
    PPGC UFRGS - Brazil.
    Larsson, Tony
    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).
    Analyzing different levels of geographic context awareness in agent ferrying over VANETs2011Ingår i: Proceedings of the 2011 ACM Symposium on Applied Computing, New York: ACM Press, 2011, s. 413-418Konferensbidrag (Refereegranskat)
    Abstract [en]

    The use of mobile software agents is a promising approach to implement services over ad hoc networks. This paper presents an analysis of mobile autonomous agents with different degrees of intelligence that allow them to make usage of the positioning information of vehicle carried sensor nodes with different depth of complexity, considering the nodes’ current and future locations. The agents’ intelligence is used to decide their movement during opportunistic connections among the nodes in order to accomplish missions. In this work, the analysis is done over an application of “virtual sensors”, implemented by services provided by the mobile agents. These agents run on top of an infrastructure-less Vehicular Ad hoc Network (VANET). Simulation results are presented and discussed to support the proposed ideas.

  • 309.
    De Mol, Wouter
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Comparison and evaluation of the accuracy of accelerometers and gyroscopes for detecting gait events in a real life setting2017Självständigt arbete på avancerad nivå (magisterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
  • 310.
    Dimmler, Martin
    et al.
    Ecole Polytechnique Fédérale de Lausanne, Switzerland.
    Tisserand, Arnaud
    Ecole Polytechnique Fédérale de Lausanne, Switzerland.
    Holmberg, Ulf
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Longchamp, Roland
    Ecole Polytechnique Fédérale de Lausanne, Switzerland.
    On-line arithmetic for real-time control of microsystems1999Ingår i: IEEE/ASME transactions on mechatronics, ISSN 1083-4435, E-ISSN 1941-014X, Vol. 4, nr 2, s. 213-217Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The integration of microcontrollers within mechanical systems is a current trend. However, decreasing the size of the system and satisfying higher precision requirements make it necessary to reevaluate the common signal processing techniques for controller implementations, because limited controller size, computation speed, and power consumption become major topics. In this paper, we demonstrate that serial computations with the most significant digits first, that is, on-line arithmetic, offer an important potential for real-time control. They enable a combination of traditional functions, such as analog-to-digital converters and control data computations. This leads to very efficient controller implementations with small size, high speed, and low power consumption. After a brief description of the requirements and challenges of microsystem controller design, the use of on-line arithmetic for real-time control is proposed. A short introduction to on-line arithmetic is given and control-specific implementation guidelines are presented and finally applied to a simple test system.

  • 311.
    Dimopoulos, A.
    et al.
    Natl Tech Univ Athens, Dept Mech Engn, Athens 15780, Greece.
    Papadopoulos, E.
    Natl Tech Univ Athens, Dept Mech Engn, Athens 15780, Greece.
    Iagnemma, Karl
    MIT, USA.
    Experimental tissue parameter identification for use in endoscopic urological haptic simulators2009Ingår i: Control and Automation, 2009. MED ’09. 17th Mediterranean Conference on, Piscataway, N.J.: IEEE Press, 2009, s. 1131-1136Konferensbidrag (Refereegranskat)
    Abstract [en]

    A method is developed for obtaining parameters for tube-like soft-tissues, to be used in urological haptic simulators. A device was designed and built that allows the acquisition of forces and displacements during endoscope insertion in a tubelike soft tissue. The device consists of a mechatronic ball screw mechanism, with a 6 DOF force/ torque sensor attached to it. The steel shaft representing the endoscope, is commanded to follow desired trajectories with micrometric accuracy under the application of an IPD controller, implemented on a dSpace 1103 system. The experimental data acquired is fitted to polynomials to yield a tissue model that can be used to predict insertion forces required for haptic simulator feedback.

  • 312.
    Dincay, Berkan
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    GPS/Optical Encoder Based Navigation Methods for dsPIC Microcontroled Mobile Vehicle2010Självständigt arbete på avancerad nivå (masterexamen), 30 poäng / 45 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Optical encoders are being widely suggested for precise mobile navigation. Combining such sensor information with Global Positioning System (GPS) is a practical solution for reducing the accumulated errors from encoders and moving the navigational base into global coordinates with high accuracy.

    This thesis presents integration methods of GPS and optical encoders for a mobile vehicle that is controlled by microcontroller. The system analyzed includes a commercial GPS receiver, dsPIC microcontroller and mobile vehicle with optical encoders. Extended kalman filtering (EKF), real time curve matching, GPS filtering methods are compared and contrasted which are used for integrating sensors data. Moreover, computer interface, encoder interface and motor control module of dsPIC microprocessor have been used and explained.

    Navigation quality on low speeds highly depends greatly upon the processing of GPS data. Integration of sensor data is simulated for both EKF and real time curve matching technique and different behaviors are observed. Both methods have significantly improved the accuracy of the navigation. However, EKF has more advantages on solving the localization problem where it is also dealing with the uncertainties of the systems.

  • 313.
    Dorrell, David G.
    et al.
    University of Technology Sydney, Sydney, New South Wales, Australia.
    Vinel, Alexey
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Cao, Dongpu
    Cranfield University, Bedford, United Kingdom.
    Connected Vehicles – Advancements in Vehicular Technologies and Informatics2015Ingår i: IEEE transactions on industrial electronics (1982. Print), ISSN 0278-0046, E-ISSN 1557-9948, Vol. 62, nr 12, s. 7824-7826, artikel-id 7322333Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Vehicles are becoming increasingly more sophisticated and the technology being developed in them covers a number of areas. At the heart of these developments are often the communication, information and control systems. This is very much illustrated in this "Special Section on Connected Vehicles - Advancements in Vehicular Technologies and Informatics" of the IEEE Transactions on Industrial Electronics that we are pleased to present. The Special Section contains twelve papers related to automotive technology. Obviously there a range of areas covered from very high speed machines, that could be used for cooling fans in automotive fuel cells or scaled up for drive motors, to energy management and into various communications aspects of vehicular technology. © 1982-2012 IEEE.

  • 314.
    Druyts, Jan
    Högskolan i Halmstad, Sektionen för ekonomi och teknik (SET), Bio- och miljösystemforskning (BLESS), Energiteknik.
    Control induction motor by frequency converter: Simulation electric vehicle2010Självständigt arbete på avancerad nivå (magisterexamen), 15 poäng / 22,5 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Summary

     Today we are probably on a point of change for the car industry. The last century was the century of vehicles with internal combustion engines. Fossil fuels were relative cheap, easy accessible and they have a high specific energy. The pollution and dependency on oil caused the last decade an increasing demand for alternatives. Alternatives for electric power plants and for car drives. Yet the turnover to hybrids is a fact and much research is done for pure electric vehicles. Research about the control of electric motors is by that become a hot topic.

    To simulate an electric vehicle drive with an induction motor, a frequency converter is needed. This combination of motor and converter led to many possible experiments. With a few experiments already done and a broad theoretical background report this thesis provides a good bundle of information to start with further experiments. The experiments can become even broader when a flywheel is added as mass inertia momentum and a DC source on the DC-link. Both elements contribute for a better simulation of an electric motor in an electric vehicle.

    What is described in this theoretical report about the combination of an induction motor and converter is only the tip of the iceberg. I had too less time to begin experimenting with the flying wheel. The DC-link voltage becomes ca. 540V. From the perspective of safety I could never work alone with the DC-link. Even with a companion it was too dangerous because the equipment of the Halmstad University is not made for such dangerous voltages. That’s why this thesis contains more theoretical background and less actual practical data.

  • 315.
    Du, Tianlong
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Ye, Jie
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    CHAT: City Error Handling through Instagram and FixaMinGata2013Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Deficient public infrastructure always causes significant complications to citizens’ daily travelling. However, it is hard for authorities to discover all the problems that suddenly occur on the road. To address these issues, one direction is to develop a system that allows citizens to report a problem quickly, so that the authorities could receive the information timely and solve it as soon as possible.

    In our project, instead of developing everything from scratch, we have decided to use Instagram and FixaMinGata as components. Instagram is a smart phone application that is used to share a photo with public. We use it to make a report which related to potholes, broke street lights and other similar problems.  FixaMinGata is a Swedish website that allows people to publish infrastructure problem reports online and forwards them to the authorities.

    Thus, the main purpose of our project is to make an interface between Instagram and FixaMinGata. It involves using the information that extracted from Instagram to create and post a report on FixaMinGata and to forward the feedback from authorities to Instagram users as well.

    This project runs under Ubuntu 12.04, and we have selected Python as the programming language. Besides these development environments, some additional modules are imported as well, such as Bottle, Selenium, Poster and Mechanize.

  • 316.
    Dubowsky, S.
    et al.
    MIT, USA.
    Iagnemma, Karl
    MIT, USA.
    Liberatore, S.
    MIT, USA.
    Lambeth, D. M.
    MIT, USA.
    Plante, J. S.
    MIT, USA.
    Boston, P. J.
    New Mexico Tech. NM Institute of Mining and Technology, Socorro, NM 87801, United States.
    A concept mission: Microbots for large-scale planetary surface and subsurface exploration2005Ingår i: Space technology and applications international forum: STAIF 2005 / [ed] Mohamed S El-Genk, College Park, MD: American Institute of Physics (AIP), 2005, s. 1449-1458Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper presents a new mission concept for planetary exploration, based on the deployment of a large number of small spherical mobile robots ("microbots") over vast areas of a planet's surface and subsurface, including structures such as caves and near-surface crevasses (see Figure 1). This would allow extremely large-scale in situ analysis of terrain composition and history. This approach represents an alternative to rover and lander-based planetary exploration, which is limited to studying small areas of a planet's surface at a small number of sites. The proposed approach is also distinct from balloon or aerial vehicle-based missions, in that it would allow direct in situ measurement. In the proposed mission, a large number (i.e. hundreds or thousands) of cm-scale, sub-kilogram microbots would be distributed over a planet's surface by an orbital craft and would employ hopping, bouncing and rolling as a locomotion mode to reach scientifically interesting artifacts in very rugged terrain. They would be powered by high energy-density polymer "muscle" actuators, and equipped with a suite of miniaturized imagers, spectrometers, sampling devices, and chemical detection sensors to conduct in situ measurements of terrain and rock composition, structure, etc. Multiple microbots would coordinate to share information, cooperatively analyze large portions of a planet's surface or subsurface, and provide context for scientific measurements. © 2005 American Institute of Physics.

  • 317.
    Duracz, Adam
    et al.
    Rice University, Houston, TX, United States.
    Moggi, Eugenio
    DIBRIS, Genova University, Genova, Italy.
    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).
    Lin, Zhenchao
    Zhejiang University, Hangzhou, China.
    A Semantic Account of Rigorous Simulation2018Ingår i: Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / [ed] Marten LohstrohPatricia DerlerMarjan Sirjani, Amsterdam: Springer Berlin/Heidelberg, 2018, Vol. 10760, s. 223-239Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    Hybrid systems are a powerful formalism for modeling cyber-physical systems. Reachability analysis is a general method for checking safety properties, especially in the presence of uncertainty and non-determinism. Rigorous simulation is a convenient tool for reachability analysis of hybrid systems. However, to serve as proof tool, a rigorous simulator must be correct w.r.t. a clearly defined notion of reachability, which captures what is intuitively reachable in finite time. As a step towards addressing this challenge, this paper presents a rigorous simulator in the form of an operational semantics and a specification in the form of a denotational semantics. We show that, under certain conditions about the representation of enclosures, the rigorous simulator is correct. We also show that finding a representation satisfying these assumptions is non-trivial. © 2018, Springer International Publishing AG, part of Springer Nature.

  • 318.
    Duracz, Jan
    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).
    Konečný, Michal
    School of Engineering and Applied Science, Aston University, Birmingham, United Kingdom.
    Polynomial Function Intervals for Floating-Point Software Verification2014Ingår i: Annals of Mathematics and Artificial Intelligence, ISSN 1012-2443, E-ISSN 1573-7470, Vol. 70, nr 4, s. 351-398Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The focus of our work is the verification of tight functional properties of numerical programs, such as showing that a floating-point implementation of Riemann integration computes a close approximation of the exact integral. Programmers and engineers writing such programs will benefit from verification tools that support an expressive specification language and that are highly automated. Our work provides a new method for verification of numerical software, supporting a substantially more expressive language for specifications than other publicly available automated tools. The additional expressivity in the specification language is provided by two constructs. First, the specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis can be used in the specifications, where the integration bounds can be arbitrary expressions over real variables. To support our claim of expressivity, we outline the verification of four example programs, including the integration example mentioned earlier. A key component of our method is an algorithm for proving numerical theorems. This algorithm is based on automatic polynomial approximation of non-linear real and real-interval functions defined by expressions. The PolyPaver tool is our implementation of the algorithm and its source code is publicly available. In this paper we report on experiments using PolyPaver that indicate that the additional expressivity does not come at a performance cost when comparing with other publicly available state-of-the-art provers. We also include a scalability study that explores the limits of PolyPaver in proving tight functional specifications of progressively larger randomly generated programs.

  • 319.
    Durán, Boris
    et al.
    RISE Viktoria, Gothenburg, Sweden.
    Englund, Cristofer
    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). RISE Viktoria, Gothenburg, Sweden.
    Habobovic, Azra
    RISE Viktoria, Gothenburg, Sweden.
    Andersson, Jonas
    RISE Viktoria, Gothenburg, Sweden.
    Modeling vehicle behavior with neural dynamics2017Ingår i: Future Active Safety Technology - Towards zero traffic accidents, Nara, Japan, 2017Konferensbidrag (Refereegranskat)
    Abstract [en]

    Modeling the interaction of vehicles during certain traffic situations is the starting point for creating autonomous driving. Data collected from field trials where test subjects drive through a single-vehicle intersection was used to create behavioral models. The present work describes two implementations of models based on the dynamical systems approach and compares similarities and differences between them. The proposed models are designed to closely replicate the behavior selection in the intersection crossing experiment.

  • 320.
    Díez Rodríguez, Victor
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Detournay, Jérôme
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Vinel, Alexey
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Lyamin, Nikita
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    An Approach for Receiver-Side Awareness Control in Vehicular Ad Hoc Networks2018Ingår i: IEEE transactions on intelligent transportation systems (Print), ISSN 1524-9050, E-ISSN 1558-0016, Vol. 19, nr 4, s. 1227-1236Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Vehicular Ad hoc networks (VANET) are a key element of cooperative intelligent transport systems. One of the challenges in VANETs is dealing with awareness and congestion due to the high amount of messages received from the vehicles in communication range. As VANETs are used in critical applications, congestion on the receiver side caused by the buffering of the packets is a safety hazard. In this paper, we propose a streamwise queuing system on the receiver side and show how it improves the timeliness of the messages received and maintains the awareness of the system in a congestion situation. © Copyright 2017 IEEE

  • 321.
    Díez Rodríguez, Víctor
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Detournay, Jérôme
    Högskolan i Halmstad, Akademin för informationsteknologi.
    An Approach for Receiver-Side Awareness Control in Vehicular Ad-Hoc Networks2016Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Vehicular Ad-Hoc Network (VANET)s are a key element of Intelligent Transport System (ITS)s. One of the challenges in VANETs is dealing with awareness and congestion due to the high amount of messages received from the vehicles in communication range. As VANETs are used in critical applications, congestion on the receiver side caused by the buffering of the packets is a safety hazard. In this thesis, we propose a stream-wise queuing system on the receiver side and show how it improves the timeliness of the messages received and main- tains the awareness of the system in a congestion situation.

  • 322.
    Ebers, Lucas
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Eriksson, Niklas
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Projektering av lokalnät med fördjupning i selektivitet2019Självständigt arbete på grundnivå (högskoleexamen), 180 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Inom elkraftsystem, när ett luftburet lokalnät ersätts med ett markförlagt förändras förutsättningarna i formav materialets egenskaper och det ger möjlighet för uppdaterad dimensionering. Målet var att presentera ettförslag på ombyggnation av ett äldre luftburet till ett modernare markförlagt lokalnät och presenteraselektivplaner för samtliga grenar av det nya nätet. Metoder som använts är Velanders metod försammanlagring av maxeffekter, dimensionering enligt Svensk Standard och kurvanpassning avutlösningskurvor för att presentera digitalt framställda selektivplaner. Det markförlagda lokalnätet levereraren bättre elkvalitet, uppfyller utlösningsvillkoret och erhåller god selektivitet.

  • 323.
    Eckhardt, Jason
    et al.
    Rice University, Houston, TX 77005, USA.
    Kaiabachev, Roumen
    Rice University, Houston, TX 77005, USA.
    Pasalic, Emir
    Rice University, Houston, TX 77005, USA.
    Swadi, Kedar
    Rice University, Houston, TX 77005, USA.
    Taha, Walid
    Rice University, Houston, TX 77005, USA.
    Implicitly Heterogeneous Multi-Stage Programming2005Ingår i: Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings / [ed] Robert Glück, Michael Lowry, Heidelberg: Springer, 2005, s. 275-292Konferensbidrag (Refereegranskat)
    Abstract [en]

    Previous work on semantics-based multi-stage programming(MSP) language design focused on homogeneous designs, where the generating and the generated languages are the same. Homogeneous designssimply add a hygienic quasi-quotation and evaluation mechanism to abase language. An apparent disadvantage of this approach is that theprogrammer is bound to both the expressivity and performance characteristics of the base language. This paper proposes a practical means toavoid this by providing specialized translations from subsets of the baselanguage to different target languages. This approach preserves the homogeneous “look” of multi-stage programs, and, more importantly, thestatic guarantees about the generated code. In addition, compared to anexplicitly heterogeneous approach, it promotes reuse of generator sourcecode and systematic exploration of the performance characteristics of thetarget languages.To illustrate the proposed approach, we design and implement a translation to a subset of C suitable for numerical computation, and show thatit preserves static typing. The translation is implemented, and evaluatedwith several benchmarks. The implementation is available in the onlinedistribution of MetaOCaml.

  • 324.
    Eckhoff, David
    et al.
    University of Erlangen.
    Festag, Andreas
    University of Dresden.
    Gruteser, Marco
    Rutgers University.
    Schimandl, Florian
    Technische Universität München.
    Segata, Michele
    University of Innsbruck.
    Uhlemann, Elisabeth
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Best practices for field operational testing2014Ingår i: Inter-Vehicular Communications – Quo Vadis: Report from Dagstuhl Seminar 13392 / [ed] Onur Altintas, Falko Dressler, Hannes Hartenstein and Ozan K. Tonguz, Dagstuhl, Germany: Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik , 2014, s. 206-209Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 325.
    Eile, Victor
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Elnätskommunikation och högfrekventa störningar2014Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Sedan 2009 fjärravläses och faktureras alla Sveriges elnätskunder varje månad. Fakturan bygger på senaste månadens förbrukning, tidigare fakturerades man efter uppskattad förbrukning med avseende på tidigare historik. Det nya systemet infördes i syfte att skapa mer medvetenhet hos kunden om dess elförbrukning och därmed en bättre förutsättning att ändra beteendemönster. Majoriteten av elnätsbolagen använder sig av elnätskommunikation för att skicka information till och från elmätarna. Det är ett smidigt sätt att upprätta ett större kommunikationsnät eftersom infrastrukturen redan finns där, elnätet. Examensarbetet utfördes i samarbete med Värnamo Energi. Syftet med examensarbetet är att utreda vad som påverkar kommunikationen och hur deras elnätskommunicerande system Addax fungerar mer i detalj. En djupare analys utfördes kring AIU–enheten, som är ett kommunikationsgränssnitt mellan fjärrvärmemätaren och Addax–systemet. Analysen utfördes på grund av att cirka 10 procent av mätdatan saknas varje månad. För att lösa uppdraget på bästa vis inleddes arbetet med en grundlig förstudie inom ämnet genom läsning av rapporter och tekniska manualer. Under examensarbetets gång deltog jag i felsökningsarbete ute på nätet för att kunna koppla teorin bättre till verkligheten. I rapporten redovisas några typiska exempel ifrån felsökningsarbetet av vanligt förekommande fel. För att kunna utvärdera AIU–enheten byggdes en mindre laborationsmiljö för att effektivt isolera påverkan av de störningar som förekommer på nätet. Resultaten visar att fjärrvärmeanläggningens cirkulationspump som förespåddes vara störkällan inte var problemet. Det visade sig att AIU–enheten var begränsad till att etablera kontakt vid en frekvens. Elnätet tidsvarierande karaktäristisk och de störningar som vissa anslutna apparater genererar ställer krav på att kommunikationssystem har viss kommunikationsflexibilitet

  • 326.
    Ejdeholm, Dawid
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Harsten, Jacob
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Detection of common envoirmental interferences in front of a camera lens2018Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Modern vehicles are very dependent on sensors and especially cameras to analyze different objects and conditions. Single camera systems are frequently used for lane detection and identifying objects in the distance. These systems depend on good conditions to work properly and are easily disrupted by environmental interferences. This project is targeted in developing an image processing algorithm that can detect disturbances applied upon the camera lens. Several focus measure operators are evaluated and compared by expected outcome while still maintaining a satisfying computational time, low resource usage and accuracy with an ERR between 0% - 1%.

  • 327.
    Ek, Ida
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Hornebrant, Erik
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Kartläggning av internetbaserad tunn klient2014Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Då datorer i alla dess former har kommit att bära betydande mängder relevant information för diverse forensiska utredningar så krävs en ingående kunskap gällande hur denna data lämpligast infångas. En typ av klient som nyligen har gjort sitt kommersiella intåg på marknaden är den internetbaserade tunna klienten. Det existerar i dagsläget begränsat med underlag gällande huruvida en sådan klient bär information som är relevant för en IT-forensisk utredning.

    Inom denna uppsats har därför en internetbaserad tunn klient av typen Chromebook varit mål för undersökning. Syftet har varit att kartlägga vilka sårbarheter som existerar, samt om möjligt huruvida dessa kan brukas som underlag vid en forensisk utredning. För detta ändamål har klientens lagrings- samt kommunikationsmönster analyserats. För genomförandet av detta brukades experimentella metodiker i form av penetrationstest samt IT-forensisk undersökning. Det har även kartlagts huruvida programvaror avsedda för operativsystemet Linux kan exekveras på klienten. Ändamålet med detta var att fastställa om klientens volatila minne kan utvinnas med hjälp av verktyg för just Linux.

    Rapportens resultat påvisar att det inom en klient av denna typ finns forensiskt värdefull information att inhämta. Det påvisas även att Chrome OS från en användares perspektiv kan anses som säkert.

  • 328.
    Ellner, Stephan
    et al.
    Google Inc, Mountain View, USA.
    Taha, Walid
    Rice University Houston, Houston, USA.
    The Semantics of Graphical Languages2007Ingår i: PEPM 2007: proceedings of the Workshop on Partial Evaluation and Program Manipulation : Nice, France, January 15-16, 2007, New York, NY: ACM Press, 2007, s. 122-133Konferensbidrag (Refereegranskat)
    Abstract [en]

    Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming language theory are taking place in the context of textual notations. In order to map such advances to the graphical world, and to take the concerns of the graphical world into account when working with textual formalisms, there is a need for rigorous connections between textual and graphical expressions of computation. To this end, this paper presents a graphical calculus called Uccello. Our key insight is that Ariola and Blom's work on sharing in the cyclic lambda calculus provides an excellent foundation for formalizing the semantics of graphical languages. As an example of what can be done with this foundation, we use it to extend a graphical language with staging constructs. In doing so, we provide the first formal account of sharing in a multi-stage calculus. Copyright © 2007 ACM.

  • 329.
    Emanuelsson, Herman
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Sjunnesson, Emil
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Fjärrstyrt kamerafäste: HE Remote2013Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Vid tillfällen då det inte lämpar sig att stå vid en videokamera kan det lösas med ett fjärrstyrt kamerafäste. Exempel på tillfällen är på grund av platsbrist på en konsert, en högtidsceremoni där någon måste stå konstigt till för att få bra bild, ute i naturen där djur ska filmas utan att bli ivägskrämda eller vid personalbrist, en tight budget och måste styra flera kameror samtidigt. De system som finns tillgängliga på amatörmarknaden idag har antingen annan funktionalitet och passar sig inte för ovanstående problem eller har väldigt begränsad räckvidd och går inte att sammankoppla med en mobilapplikation.

    Detta projekt går ut på att ta fram en kostnadseffektiv och skräddarsydd lösning för ovanstående problem genom att utveckla ett fjärrstyrt kamerafäste i semiproffssegmentet där det via en handkontroll och vid senare skede med en mobilapplikation styr kamerans lutning och rotation även kallad tiltning och panorering.

    Skillnaderna mellan denna och befintliga lösningar är att med hjälp av Bluetooth-tekniken kan styra både med handkontroll och senare även med en mobilapplikation, anledningen till att det skall kunna styra med båda är att det inte alltid är tillåtet att använda sig av mobiltelefoner i alla miljöer där man vill filma och därför får ett bredare användningsområde för kamerafästet.

  • 330.
    Emanuelsson, Petter
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Metodframtagning för hastighetsberoende tester på stillastående bil2017Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
  • 331.
    Emil, Söder
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Central autentisering för ett inbyggt system.2018Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Central autentisering är en metod som länge har använts för att på ett lätthanterligtsätt administrera användare till olika nätverksresurser såsom datorer, skrivare ochservrar. I en tid när många industrier uppgraderas och byggs ut för att möta nyakrav för att kunna nås från runt om i världen måste många system byggas om.Arbete genomförs tillsammans med HMS Industrial Networks AB och kommer attundersöka möjligheten att autentisera användare mot en inbyggd kontroll ochstyrenhet centralt istället för lokalt vilket det idag är. Teori kommer att blandas medegna experiment av möjliga implementeringar och slutligen utvärderas all fakta ochen slutsats presenteras.

  • 332.
    Engberg, Emelie
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Landerup, Marina
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Riskidentifiering inom elektronisk kommunikation i Hallands län: Vilka hot föreligger den elektroniska kommunikationen och vilka risker innebär det?2014Självständigt arbete på grundnivå (högskoleexamen), 5 poäng / 7,5 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Den elektroniska kommunikationen är idag en stor och viktig del i vardagen, därför beslutade sig Länsstyrelsen i Hallands län för att starta ett projekt där de i ett samarbete med Högskolan i Halmstad skulle utföra en fullständig risk- och sårbarhetsanalys inom sektorn elektronisk kommunikation, tillsammans med kommunerna och regionen i Hallands län. Som en första del i en risk- och sårbarhetsanalys, måste en riskidentifiering göras och det är det som är syftet med rapporten. Resultatdelen i rapporten bygger på en sammanställning av svar från intervjuer med anställda inom kommunerna och Region Halland.

    Riskerna som föranletts av de identifierade hoten är relativt många och är av olika form och allvarlighetsgrad. Den vanligaste risken är att system periodvis blir långsamma, ett exempel på detta är att lönesystemet blir långsammare i slutet av månaden då det blir överbelastat för att alla löner ska betalas ut. Genom redundans i systemen reduceras risker som störningar, långsamma system och otillgängliga program och funktioner.

    Mycket ansvar kring säkerheten läggs på IT-avdelningen som många gånger känner att det både saknas ekonomiska medel men också tidsbrist för att upprätthålla en önskvärd säkerhet.

    Slutligen vill vi påstå att hotbildsanalyser och riskidentifieringar är viktiga att utföra för att kunna upprätthålla säkerhet och skydda verksamheten på rätt sätt. 

  • 333.
    Englund, Cristofer
    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). Viktoria Swedish ICT, Gothenburg, Sweden.
    Chen, Lei
    Viktoria Swedish ICT, Gothenburg, Sweden.
    Ploeg, Jeroen
    Netherlands Organization for Applied Scientific Research TNO, Hague, Netherlands.
    Semsar-Kazerooni, Elham
    Netherlands Organization for Applied Scientific Research TNO, Hague, Netherlands.
    Voronov, Alexey
    Viktoria Swedish ICT, Gothenburg, Sweden.
    Hoang Bengtsson, Hoai
    Viktoria Swedish ICT, Gothenburg, Sweden.
    Didoff, Jonas
    Viktoria Swedish ICT, Gothenburg, Sweden.
    The Grand Cooperative Driving Challenge 2016: Boosting the Introduction of Cooperative Automated Vehicles2016Ingår i: IEEE wireless communications, ISSN 1536-1284, E-ISSN 1558-0687, Vol. 23, nr 4, s. 146-152Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The Grand Cooperative Driving Challenge (GCDC), with the aim to boost the introduction of cooperative automated vehicles by means of wireless communication, is presented. Experiences from the previous edition of GCDC, which was held in Helmond in the Netherlands in 2011, are summarized, and an overview and expectations of the challenges in the 2016 edition are discussed. Two challenge scenarios, cooperative platoon merge and cooperative intersection passing, are specified and presented. One demonstration scenario for emergency vehicles is designed to showcase the benefits of cooperative driving. Communications closely follow the newly published cooperative intelligent transport system standards, while interaction protocols are designed for each of the scenarios. For the purpose of interoperability testing, an interactive testing tool is designed and presented. A general summary of the requirements on teams for participating in the challenge is also presented.

  • 334.
    Englund, Cristofer
    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). RISE Viktoria, Gothenburg, Sweden.
    Didoff, Jonas
    RISE Viktoria, Gothenburg, Sweden.
    Wahlström, Björn
    Swedish Aviation Services, Norrköping, Sweden.
    A new method for ground vehicle access control and situation awareness: experiences from a real-life implementation at an airport2017Konferensbidrag (Refereegranskat)
    Abstract [en]

    To improve safety in complex traffic situations, access control can be applied. This paper presents a generic vehicle access control method for improved situation awareness. The method concerns three main steps (i) zones definition (ii) rules to manage access and (iii) situation awareness based on realtime position monitoring. The proposed system consists of a server where the access zones and rules are stored and mobile units providing position data to the server and information to the driver. At the control center a client control unit is used to provide improved situation awareness by monitoring and visualizing the positions of the clients in the vehicles. The client in the control center is also utilized to give access to the clients in the vehicles that request access. The system has been demonstrated at an airport to grant access for ground vehicles to enter the runway and has since been developed into a commercial product by an industrial supplier. It was introduced at the World ATM Congress in Madrid in March of 2017. The server system is implemented as a cloud service in Microsoft Azure, the control client uses a WACOM CINTIQ touch screen computer for interaction and the vehicle clients are off-the-shelf Samsung Android units paired with Trimble R1GNSS receiver and 4G mobile communication between the server and the clients.

  • 335.
    Englund, Cristofer
    et al.
    RISE Viktoria, Gothenburg, Sweden.
    Engdahl, Henrik
    Nimling AB, Askim, Sweden.
    Habibi, Shiva
    Chalmers University of Technology, Gothenburg, Sweden.
    Pettersson, Stefan
    RISE Viktoria, Gothenburg, Sweden.
    Sprei, Frances
    Chalmers University of Technology, Gothenburg, Sweden.
    Voronov, Alexey
    RISE Viktoria, Gothenburg, Sweden.
    Wedlin, Johan
    RISE Viktoria, Gothenburg, Sweden.
    Method for prediction of Utilization Rate of Electric Vehicle Free-Floating Car Sharing Services using Data Mining2018Ingår i: 31st International Electric Vehicles Symposium & Exhibition (EVS 31) & International Electric Vehicle Technology Conference 2018 (EVTeC 2018), 2018Konferensbidrag (Refereegranskat)
    Abstract [en]

    Free-floating car sharing is a form of car rental used by people for short periods of time where the cars can be picked up and returned anywhere within a given area. In this paper, we have collected free-floating car sharing data, for electric as well as fossil fueled cars, and data regarding e.g. size of the city, number of cars in the service, etc. The utilization rates of the free-floating car sharing services vary much between the cities, greatly influencing the success of the services. This paper presents the most important factors influencing the utilization rate, and also a methodology to predict the utilization rate for new cities, using data mining based on Random Forests.© EVS 31 & EVTeC 2018.

  • 336.
    Englund, Cristofer
    et al.
    RISE Viktoria, Göteborg, Sweden.
    Estrada, John
    eTrans Systems, Fairfax, USA.
    Jaaskelainen, Juhani
    MH Roine Consulting, Helsinki, Finland.
    Meisner, Jim
    Qualcomm Technologies Inc., San Diego, USA.
    Satyavolu, Surya
    Sirab Technologies Inc., Novato, USA.
    Serna, Frank
    Draper Laboratory, 555 Technology Square, Cambridge, USA.
    Sundararajan, Sudharson
    Booz Allen Hamilton Inc., Washington, USA.
    Enabling Technologies for Road Vehicle Automation2017Ingår i: Road Vehicle Automation 4 / [ed] Meyer G. & Beiker S., Leiden: VSP , 2017, s. 177-185Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    Technology is to a large extent driving the development of road vehicle automation. This Chapter summarizes the general overall trends in the enabling technologies within this field that were discussed during the Enabling technologies for road vehicle automation breakout session at the Automated Vehicle Symposium 2016. With a starting point in six scenarios that have the potential to be deployed at an early stage, five different categories of emerging technologies are described: (a) positioning, localization and mapping (b) algorithms, deep learning techniques, sensor fusion guidance and control (c) hybrid communication (d) sensing and perception and (e) technologies for data ownership and privacy. It is found that reliability and extensive computational power are the two most common challenges within the emerging technologies. Furthermore, cybersecurity binds all technologies together as vehicles will be constantly connected. Connectivity allows both improved local awareness through vehicle-to-vehicle communication and it allows continuous deployment of new software and algorithms that constantly learns new unforeseen objects or scenarios. Finally, while five categories were individually considered, further holistic work to combine them in a systems concept would be the important next step toward implementation. © Springer International Publishing AG 2018

  • 337.
    Englund, Cristofer
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Verikas, Antanas
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Ink feed control in a web-fed offset printing press2008Ingår i: The International Journal of Advanced Manufacturing Technology, ISSN 0268-3768, E-ISSN 1433-3015, Vol. 39, nr 9-10, s. 919-930Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Automatic and robust ink feed control in a web- fed offset printing press is the objective of this work. To achieve this goal an integrating controller and a multiple neural models-based controller are combined. The neural networks-based printing process models are built and updated automatically without any interaction from the user. The multiple models-based controller is superior to the integrating controller as the process is running in the training region of the models. However, the multiple models-based controller may run into generalisation prob- lems if the process starts operating in a new part of the input space. Such situations are automatically detected and the integrating controller temporary takes over the process control. The developed control configuration has success- fully been used to automatically control the ink feed in the web-fed offset printing press according to the target amount of ink. Use of the developed tools led to higher print quality and lower ink and paper waste.

  • 338.
    Ericson, Stefan K.
    et al.
    University of Skövde, Skövde, Sweden.
    Åstrand, Björn
    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).
    Analysis of two visual odometry systems for use in an agricultural field environment2018Ingår i: Biosystems Engineering, ISSN 1537-5110, E-ISSN 1537-5129, Vol. 166, s. 116-125Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper analyses two visual odometry systems for use in an agricultural field environment. The impact of various design parameters and camera setups are evaluated in a simulation environment. Four real field experiments were conducted using a mobile robot operating in an agricultural field. The robot was controlled to travel in a regular back-and-forth pattern with headland turns. The experimental runs were 1.8–3.1 km long and consisted of 32–63,000 frames. The results indicate that a camera angle of 75° gives the best results with the least error. An increased camera resolution only improves the result slightly. The algorithm must be able to reduce error accumulation by adapting the frame rate to minimise error. The results also illustrate the difficulties of estimating roll and pitch using a downward-facing camera. The best results for full 6-DOF position estimation were obtained on a 1.8-km run using 6680 frames captured from the forward-facing cameras. The translation error (x, y, z) is 3.76% and the rotational error (i.e., roll, pitch, and yaw) is 0.0482 deg m−1. The main contributions of this paper are an analysis of design option impacts on visual odometry results and a comparison of two state-of-the-art visual odometry algorithms, applied to agricultural field data. © 2017 IAgrE

  • 339.
    Ericson, Stefan
    et al.
    School of Technology and Society, University of Skövde, Skövde.
    Åstrand, Björn
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Row-detection on an agricultural field using omnidirectional camera2010Ingår i: 2010 IEEE/RSJ international conference on intelligent robots and systems, Piscataway, N.J.: IEEE Press, 2010, s. 4982-4987Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper describes a method of detecting parallel rows on an agricultural field using an omnidirectional camera. The method works both on cameras with a fisheye lens and cameras with a catadioptric lens. A combination of an edge based method and a Hough transform method is suggested to find the rows. The vanishing point of several parallel rows is estimated using a second Hough transform. The method is evaluated on synthetic images generated with calibration data from real lenses. Scenes with several rows are produced, where each plant is positioned with a specified error. Experiments are performed on these synthetic images and on real field images. The result shows that good accuracy is obtained on the vanishing point once it is detected correctly. Further it shows that the edge based method works best when the rows consists of solid lines, and the Hough method works best when the rows consists of individual plants. The experiments also show that the combined method provides better detection than using the methods separately.

  • 340.
    Ericsson, Andreas
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Ericsson, Jonas
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Fjärrstyrning av värmepump2013Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Att fjärrstyra sin värmepump gör det möjligt att styra inomhusklimatet även då man inte är hemma. Detta passar mycket bra i exempelvis fritidshus då man enkelt kan höja temperaturen innan man skall dit och därmed kan njuta av ett behagligt inomhusklimat direkt.

    Med dagens fjärrstyrning av Daikins värmepumpar finns två problem. Systemet använder GSM-nätet och användaren måste kunna de olika SMS-koderna utantill. Fjärrstyrning används oftast i fritidshus på landsbygden och 3G-nätet har idag bättre täckning än GSM-nätet på många av dessa platser.

    Målet med examensarbetet är att ta fram ett system som åtgärdar dessa problem.

    Vi börjar med att ta fram en funktionsmodell att utgå från. Går vidare med val av hårdvara för modulen, och därefter vidare till mjukvaruutveckling.

    Resultatet av detta examensarbete är ett system för fjärrstyrning av Daikins värmepumpar som använder 3G-nätet och enkelt kan styras via en androidapplikation.

  • 341.
    Eriksson, Alexander
    et al.
    Högskolan i Halmstad.
    Hvidt-Andersén, Alexander
    Högskolan i Halmstad.
    Wallin, Claes
    Högskolan i Halmstad.
    Initial Respons i OS X miljö: Live-forensik riktat mot OS X2015Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

  • 342.
    Eriksson, Felix
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Enabling Peer-to-Peer Co-Simulation2015Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Simulation enables preliminary testing of products that may otherwise be dicult, ex-pensive, or dangerous to test physically. Unfortunately, intellectual property concernscan make it dicult or impossible to share the human-readable simulation models toend-users. In fact, there can even be diculties with sharing executables because ofthe possibility for reverse-engineering. This presents a problem when simulating if themodel relies on components for which the source code or executable is not available,such as proprietary components developed by another party. This thesis investigateswhether it is possible to enable a set of networked peers to all take part in computingthe same simulation without any of them having access to the entire model. One way tosolve this problem is to let each system that holds a model of a component to computeits part of the simulation for a single timestep and to share the new state through peer-to-peer connections with the other systems, once a response has been received fromall other peers, the local simulation can advance one timestep and the process can berepeated. But running a simulation over a network can make it signicantly slower,since local operations on the CPU and memory are much faster than operations overa network, and the peers will be spending most of their time waiting for each other asa result. To avoid such delays, each peer maintains expected values for variables thatare not in the local model, and updates are sent only when a local variable changes.These updates are stamped with the local simulation-time, thus allowing the recipientpeers to know when the update is required in the simulations future, or to when itshould be retroactively applied in the simulations past. Using this technique, the peerscan compute their respective local models under the assumption that the variablesthat the other peers control are unchanged. Thus the peers can advance any numberof timesteps without needing to stop and wait for other peers. These techniques willlikely result in wasted work if one or more peers are advancing their simulation timeslower than the others, when this happens, the peers have the ability to re-distributethe workload on the y by transferring control over models. This also makes it possibleto accommodate for systems joining or leaving the simulation while it is running.In this thesis we show that co-simulating in this fashion is a workable option to tra-ditional simulation when the local models are incomplete, but that the performanceis very dependent on the models being simulated. Especially the relation between thefrequency of required synchronizations, and the time to compute a timestep. In ourexperiments with fairly basic models, the performance ratio, compared to traditionalsimulation, ranged between less than one percent of that of traditional simulation, upto roughly 70%. But with slower models always having a better ratio.

  • 343.
    Eriksson, Hanna
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Gustafsson, Eric
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Flexibelt ställdon2016Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
  • 344.
    Eriksson, Hannes
    et al.
    Högskolan i Halmstad.
    Brange Sollie, Ivan
    Högskolan i Halmstad.
    Skapandet av kallplasma för jonisering av luft2016Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I dagens samhälle används det mängder av antibiotika inom sjukvården. Detta medför att bakterier blir resistenta och mycket farliga. För att lösa detta behövs en ny innovativ lösning för att rengöra sår och infektioner. Den nya idén är att använd joniserad luft med bakteriedödande egenskaper. I denna rapport beskriver vi vårt arbete som blivande elektroingenjörer när vi tar fram elektroniken för en experimentprototyp för skapandet av kallplasma för jonisering av luft.

  • 345.
    Eriksson, Hannes
    et al.
    Högskolan i Halmstad.
    Brange Sollie, Ivan
    Högskolan i Halmstad.
    Wireless IO: A wireless accessory for integration of an Axis Communications camera in a sensor network.2017Självständigt arbete på avancerad nivå (magisterexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    When installing new network security cameras in buildings, the cameras are often connected to sensors via signal wires. Since most building already have internet and electricity drawn throughout the structure, the procedure of routing a new signal wire can be costly and time demanding. By replacing this wire with a wireless link, the cost and time it takes for the customer to install a camera could be reduced.

    The objective for this thesis is to investigate different wireless technologies used in short range, low power wireless communication networks such as PANs and LANs. Focusing on technologies used in the surveillance segment a decision will be made on which wireless technology that would suit as a link between a sensor and a camera for transmitting trigger signals. The technology will then be implemented in a proof-of-concept accessory, which can give an Axis Communications camera wireless functionality through it’s IO port.

  • 346.
    Eriksson, Helena
    et al.
    Högskolan i Halmstad, Akademin för hälsa och välfärd, Centrum för forskning om välfärd, hälsa och idrott (CVHI), Wigforss-gruppen.
    Isaksson, Anna
    Högskolan i Halmstad, Akademin för lärande, humaniora och samhälle, Centrum för samhällsanalys (CESAM).
    Lundström, Jens
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Technology and trust: Social and technical innovation in elderly care2013Ingår i: Abstracts EGI2013, 2013, s. 17-18Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    A demographic change is occurring in many areas of the world. The elderly population share has been increasing for the last decades and estimations predict that this group will be large in proportion to the number of economically active younger people. This change will bring exponentially increasing costs of health care. Technical developments could be one way to meet these new challenges. In a recent study called “Safe at night” the aim was to investigate whether a technical solution based can be used to supplement the home care work, with focus on the nightly visits of the elderly. The study raises questions regarding technical issues as well as actors (users, relatives and staffs) perspective on the methods. Researchers from both social and technical disciplines were involved in the study. In this paper, we highlight the importance of scientists from different disciplines participating in the study, as well as municipalities and industry. We show in particular the knowledge gained from a technical perspective and from a social science perspective and how and why these perspectives together constitute the necessary components to create innovation regarding elderly care and issues related to technology and trust.

  • 347.
    Eriksson, Joar
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Oresten, Filip
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Wireless weight display2019Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
  • 348.
    Ernst, Robert
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Vital Sign Radar: Development of a Compact, Highly Integrated 60GHz FMCW Radar for Human Vital Sign Monitoring2016Självständigt arbete på avancerad nivå (masterexamen), 80 poäng / 120 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Supervision of human vital signs has always been an essential part in healthcare. Nowadays there is a strong interest in contact-less monitoring methods as they operate less static and offer higher flexibility to the people observed. Recent industrial development enabled radar functionality to be packed in single-chip solutions, decreasing application complexity and speeding up designs. Within this thesis, a vital sign radar prototype has been developed utilising a recently released 60GHz frequency modulated continous wave single-chip radar. The electronics development has been focused on compactness and high system integration. Special attention has been given to the onboard analogue signal filtering and digital data preprocessing. The resulting prototype radar is then tested and evaluated using test scenarios with increasing difficulty. The final experiments prove that the radar is capable of tracking human respiration rate and heartbeat simultaneously from a distance of 1m. It can be concluded that modern radar devices may be significantly miniaturised for e.g. portable operation while offering a wide variety of application possibilities including vital sign monitoring.

  • 349.
    Ernst, Robert
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Nilsson, Emil
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Tillämpad matematik och fysik (MPE-lab).
    Viberg, Per-Arne
    Swedish Adrenaline AB, Halmstad, Sweden..
    60GHz Vital Sign Radar using 3D-printed Lens2016Ingår i: 2016 IEEE SENSORS, Piscataway: IEEE, 2016, artikel-id 7808774Konferensbidrag (Refereegranskat)
    Abstract [en]

    There is an increased interest in contact-less vital sign monitoring methods as they offer higher flexibility to the individual being observed. Recent industrial development enabled radar functionality to be packed in single-chip solutions, decreasing application complexity and speeding up designs. Within this paper, a vital sign radar has been developed utilizing a recently released 60GHz frequency modulated continuous wave single-chip radar in combination with 3D-printed quasi-optics. The electronics development has been focused on compactness and high system integration using a low cost design process. The final experiments prove that the radar is capable of tracking human respiration rate and heartbeat at the same time from a distance of 1m.

  • 350.
    Esmael, Muzeyen Hassen
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Modeling Basic Physical Links in Acumen2012Självständigt arbete på avancerad nivå (magisterexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Simulation is the process of computing a behavior determined by a given model of a system of interest.  Modeling is the process of creating a model that formally describes a given class of system.  Modeling and simulation can be used to quickly and cheaply study and understand new technologies.  Today, a wide range of systems are simulated using different tools.  However, converting models into simulation codes can still be difficult and time consuming.

    In this thesis, we study how a new modeling and simulation language called Acumen can be used to model basic physical links.  This language is aimed at bridging the gap between modeling and simulation.  We focus on basic physical links as an interesting type of system to model and simulate. We also focus on comparing Acumen to MATLAB and Simulink.  The types of links we consider include models of an RC low-pass filter, Amplitude Modulation, Frequency Modulation, Amplitude Shift Keying, Phase Shift Keying and Frequency Shift Keying systems. Each of these examples is modeled in Acumen, MATLAB and Simulink. We find that, for the most part, Acumen allows us to naturally express a wide range of modulation techniques mentioned above. When compared to MATLAB ad Simulink, we find that Acumen is simple language to understand. Acumen codes are described in a more natural way. Simplicity is the biggest advantage of Acumen.

45678910 301 - 350 av 1234
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard1
  • 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