hh.sePublications
Change search
Refine search result
78910 451 - 471 of 471
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 451.
    Yu, Rong
    et al.
    Guangdong University of Technology, Guangzhou, China.
    Ding, Jiefei
    Guangdong University of Technology, Guangzhou, China.
    Zhong, Weifeng
    Guangdong University of Technology, Guangzhou, China.
    Zhang, Yan
    Simula Research Laboratory, Fornebu, Norway.
    Gjessing, Stein
    University of Oslo, Oslo, Norway.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Jonsson, Magnus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Price-based Energy Control for V2G Networks in the Industrial Smart Grid2015In: Proceedings of the 2015 1st International Conference on Industrial Networks and Intelligent Systems: INISCom: Tokyo, Japan: March 2-4, 2015, Piscataway, NJ: IEEE, 2015, p. 107-112, article id 7157830Conference paper (Refereed)
    Abstract [en]

    The energy crisis and global warming call for a new industrial revolution in production and distribution of renewable energy. Distributed power generation will be well developed int he new smart electricity distribution grid, in which robust power distribution will be the key technology. In this paper, we presenta new vehicle-to-grid (V2G) network for energy transfer, in which distributed renewable energy helps the power grid balance demand and supply. Plug-in hybrid electric vehicles (PHEVs) will act as transporters of electricity for distributed renewable energy dispatching. We formulate and analyze the V2G network within the theoretical framework of complex network. We also employthe generalized synchronization method to study the dynamic behavior of V2G networks. Furthermore, we develop a new price-based energy control method to stimulate the PHEV’s behavior of charging and discharging. Simulation results indicate that the V2G network can achieve synchronization and each region is able to balance energy supply and demand through price-based control. © 2015 ICST.

  • 452.
    Yu, Rong
    et al.
    Guangdong University of Technology, Guangzhou, China.
    Huang, Xumin
    Guangdong University of Technology, Guangzhou, China.
    Kang, Jiawen
    Guangdong University of Technology, Guangzhou, China.
    Yuen, Chau
    Singapore University of Technology and Design, Singapore, Singapore.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Jonsson, Magnus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Gjessing, Stein
    Simula Research Laboratory & Department of Informatics, University of Oslo, Oslo, Norway.
    Zhang, Yan
    Simula Research Laboratory & Department of Informatics, University of Oslo, Oslo, Norway.
    An Optimal Replenishment Strategy in Energy Harvesting Wireless Networks with A Mobile Charger2015In: 11th EAI International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness / [ed] Der-Jiunn Deng, Lei Shu, Chih-Cheng Tseng, Chun-Cheng Lin, Neeli R. Prasad & Tony Quek, Taipei: Institute for Computer Sciences (ICST) , 2015Conference paper (Refereed)
    Abstract [en]

    Energy harvesting wireless network is an emerging paradigm where the wireless nodes harvest energy to increase their lifetime. Due to high potential for a large variety of applications, such networks have drawn considerable attention in both industry and academia. In this paper, we consider the energy replenishment problem when the wireless nodes not only harvest energy from the ambient environment but also may receive energy from a mobile charger. We propose an optimal energy replenishment strategy using stochastic inventory theory to derive the optimal amount of energy supplied by the mobile charger. The simulation results show that our proposed scheme not only optimizes the energy utilization, but also improves the economic benefit of the wireless nodes. Copyright © 2015–2015 ICST

  • 453.
    Yu, Tianyi
    et al.
    Halmstad University, School of Information Technology.
    Edén, Jenny
    Halmstad University, School of Information Technology.
    Englund, Cristofer
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR - Center for Applied Intelligent Systems Research. Viktoria Swedish ICT, Gothenburg, Sweden.
    Larsson, Tony
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Traffic Situation Estimator for Adaptive Cruise Control2016In: 2016 IEEE 17th International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM), Piscataway, NJ: IEEE, 2016, article id 7523567Conference paper (Refereed)
    Abstract [en]

    A traffic situation estimator capable of analyzing driving behavior utilizing an image analysis-based tracking module is presented. The behavior is analyzed by using a state machine driven counter to estimate the traffic rhythm and determine if the detected vehicles are approaching, getting away, have been overtaken or have overtaken the ego-vehicle. Depending on the result, the traffic situation estimator suggest different reactions, either to drive faster, slower or optionally suggest to overtake vehicles ahead to help the driver to follow the traffic rhythm which in turn will improve safety and energy efficiency. The proposed approach is implemented in a smart-phone and has shown good performance while testing the application on a two-lane highway. © 2016 IEEE.

  • 454.
    Zain-ul-Abdin,
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Åhlander, Anders
    Business Area Electronic Defence Systems, Saab AB, Gothenburg, Sweden.
    Svensson, Bertil
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Programming Real-time Autofocus on a Massively Parallel Reconfigurable Architecture using Occam-pi2011In: Proceedings of the 19th Annual IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM'2011), Los Alamitos, Calif.: IEEE Computer Society, 2011, p. 194-201Conference paper (Refereed)
    Abstract [en]

    Recently we proposed occam-pi as a high-level language for programming massively parallel reconfigurable architectures. The design of occam-pi incorporates ideas from CSP and pi-calculus to facilitate expressing parallelism and reconfigurability. The feasability of this approach was illustratedby building three occam-pi implementations of DCT executing on an Ambric. However, because DCT is a simple and well studied algorithm it remained uncertain whether occam-pi would also be effective for programming novel, more complex algorithms.

    In this paper, we demonstrate the applicability of occam-pi for expressing various degrees of parallelism by implementinga significantly large case-study of focus criterion calculation inan autofocus algorithm on the Ambric architecture. Autofocus is a key component of synthetic aperture radar systems. Two implementations of focus criterion calculation were developedand evaluated on the basis of performance. The comparison of the performance results with a single threaded software implementation of the same algorithm show that the throughput of the two implementations are 11x and 23x higher than the sequential implementation despite a much lower (9x) clock frequency. The two designs are, respectively, 29x and 40x moreenergy efficient.

  • 455.
    Zeng, Yingfu
    et al.
    Rice University, TX, United States.
    Bartha, Ferenc
    Rice University, TX, United States.
    Taha, Walid
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Compile-Time Extensions to Hybrid ODEs2017In: Electronic Proceedings in Theoretical Computer Science, ISSN 2075-2180, E-ISSN 2075-2180, p. 52-70Article in journal (Refereed)
    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.

  • 456.
    Zeng, Yingfu
    et al.
    Rice University, Houston, USA.
    Chad, Rose
    Rice University, Houston, USA.
    Taha, Walid
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). Rice University, Houston, USA.
    Duracz, Adam
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Atkinson, Kevin
    Rice University, Houston, USA.
    Philippsen, Roland
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR - Center for Applied Intelligent Systems Research.
    Cartwright, Robert
    Rice University, Houston, USA.
    O'Malley, Marcia
    Rice University, Houston, USA.
    Modeling Electromechanical Aspects of Cyber-Physical Systems2016In: Journal of Software Engineering for Robotics, ISSN 2035-3928, E-ISSN 2035-3928, Vol. 7, no 1, p. 100-119Article in journal (Refereed)
    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.

  • 457.
    Zeng, Yingfu
    et al.
    Rice University, Houston, USA.
    Rose, Chad
    Rice University, Houston, USA.
    Brauner, Paul
    Rice University, Houston, USA.
    Taha, Walid
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). Rice University, Houston, USA.
    Masood, Jawad
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), CAISR - Center for Applied Intelligent Systems Research. Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Philippsen, Roland
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), CAISR - Center for Applied Intelligent Systems Research.
    O’Malley, Marcia
    Rice University, Houston, USA.
    Cartwright, Robert
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS). Rice University, Houston, USA.
    Modeling Basic Aspects of Cyber-Physical Systems, Part II2013In: Proceedings DSLRob 2013 / [ed] Christian Schlegel, Ulrik Pagh Schultz, Serge Stinckwich, 2013Conference paper (Refereed)
    Abstract [en]

    We consider the question of what language features are needed to effectively model cyber-physical systems (CPS). In previous work, we proposed a core language called Acumen 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 Acumen can support larger, more interesting systems than previously shown. The second one, a serial robot, provides a concrete example of why explicit support for static partial derivatives can significantly improve the expressivity of a CPS modeling language.

  • 458.
    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
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). Rice University, Houston, TX, USA.
    Masood, Jawad
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
    Philippsen, Roland
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR - Center for Applied Intelligent Systems Research.
    O'Malley, Marcia
    Rice University, Houston, TX, USA.
    Cartwright, Robert
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS). Rice University, Houston, TX, USA.
    Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract)2014In: 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, p. 550-557Conference paper (Refereed)
    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.

  • 459.
    Zhang, Hequn
    et al.
    Halmstad University, School of Information Technology.
    Wang, Rui
    Halmstad University, School of Information Technology.
    Larsson, Tony
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Simulation of Region-based Geocast Routing Protocols2014In: 2014 International Conference on Connected Vehicles and Expo (ICCVE), Piscataway, NJ: IEEE Press, 2014, p. 723-730, article id 7297645Conference paper (Refereed)
    Abstract [en]

    As one of the most important enablers of Intelligent Transportation System (ITS), Inter-Vehicle Communication (IVC) have been a hot research direction in nearly a decade. To improve vehicle safety and cooperative systems, most of ITS applications need efficient and stable Vehicular Ad hoc Networks (VANETs) among vehicles and infrastructures, which can be set up by Geocast routing protocols. Some of these applications require the protocols, known as region-based Geocast routing protocols, supporting to broadcast messages to vehicles within a specific geographic region. Since different protocols are appropriate for different purposes or occasions, it is significant to simulate protocols and evaluate their performances under a variety of scenarios. Therefore, this paper focuses on investigations of simulation environment configurations for some known Geocast routing protocols. According to the investigations, a region based Geocast routing simulator is designed and developed. To demonstrate the effectiveness and the reliability of this simulator, several protocols are simulated and the performances of them are presented. © 2014 IEEE

  • 460.
    Zhang, Ke
    et al.
    University of Electronic Science and Technology of China, Chengdu, China.
    Mao, Yuming
    University of Electronic Science and Technology of China, Chengdu, China.
    Leng, Supeng
    University of Electronic Science and Technology of China, Chengdu, China.
    Maharjan, Sabita
    Simula Research Laboratory, Fornebu, Norway & University of Oslo, Oslo, Norway.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Zhang, Yan
    University of Oslo, Oslo, Norway.
    Contract-theoretic Approach for Delay Constrained Offloading in Vehicular Edge Computing Networks2019In: Journal on spesial topics in mobile networks and applications, ISSN 1383-469X, E-ISSN 1572-8153, Vol. 24, no 3, p. 1003-1014Article in journal (Refereed)
    Abstract [en]

    Mobile Edge Computing (MEC) is a promising solution to improve vehicular services through offloading computation to cloud servers in close proximity to mobile vehicles. However, the self-interested nature together with the high mobility characteristic of the vehicles make the design of the computation offloading scheme a significant challenge. In this paper, we propose a new Vehicular Edge Computing (VEC) framework to model the computation offloading process of the mobile vehicles running on a bidirectional road. Based on this framework, we adopt a contract theoretic approach to design optimal offloading strategies for the VEC service provider, which maximize the revenue of the provider while enhancing the utilities of the vehicles. To further improve the utilization of the computing resources of the VEC servers, we incorporate task priority distinction as well as additional resource providing into the design of the offloading scheme, and propose an efficient VEC server selection and computing resource allocation algorithm. Numerical results indicate that our proposed schemes greatly enhance the revenue of the VEC provider, and concurrently improve the utilization of cloud computing resources. © 2018, Springer Science+Business Media, LLC, part of Springer Nature.

  • 461.
    Zhang, Ke
    et al.
    University of Electronic Science and Technology of China, Chengdu, China.
    Mao, Yuming
    University of Electronic Science and Technology of China, Chengdu, China.
    Leng, Supeng
    University of Electronic Science and Technology of China, Chengdu, China.
    Maharjan, Sabita
    Simula Research Laboratory, Oslo, Norway.
    Zhang, Yan
    Simula Research Laboratory, Oslo, Norway.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Jonsson, Magnus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Incentive-Driven Energy Trading in the Smart Grid2016In: IEEE Access, E-ISSN 2169-3536, Vol. 4, p. 1243-1257, article id 7436757Article in journal (Refereed)
    Abstract [en]

    The smart grid is widely considered as an efficient and intelligent power system. With the aid of communication technologies, the smart grid can enhance the efficiency and reliability of the grid system through intelligent energy management. However, with the development of new energy sources, storage and transmission technologies together with the heterogeneous architecture of the grid network, several new features have been incorporated into the smart grid. These features make the energy trading more complex and pose a significant challenge on designing efficient trading schemes. Based on this motivation, in this paper, we present a comprehensive review of several typical economic incentive approaches adopted in the energy-trading control mechanisms. We focus on the technologies that address the challenges specific to the new features of the smart grid. Furthermore, we investigate the energy trading in a new cloud-based vehicle-to-vehicle energy exchange scenario. We propose an optimal contract-based electricity trading scheme, which efficiently increases the generated profit. © 2013 IEEE.

  • 462.
    Zhang, Ke
    et al.
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Mao, Yuming
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Leng, Supeng
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Zhang, Yan
    Simula Research Laboratory, Oslo, Norway.
    Delay constrained offloading for Mobile Edge Computing in cloud-enabled vehicular networks2016In: Proceedings of 2016 8th International Workshop on Resilient Networks Design and Modeling (RNDM) / [ed] Magnus Jonsson, Jacek Rak, Arun Somani, Dimitri Papadimitriou & Alexey Vinel, Piscataway: IEEE Press, 2016, p. 288-294Conference paper (Refereed)
    Abstract [en]

    Cloud-based vehicular networks is a new paradigm to improve the vehicular services through distributing computation tasks between remote clouds and local vehicular terminals. To further reduce the latency and the transmission cost of the computation offloading, we propose a cloud-based Mobile Edge Computing (MEC) offloading framework in vehicular networks. In the framework, efficient computation offloading strategies are designed through a contract theoretic approach. We obtain the optimal feasible contracts that maximize the benefit of the MEC service provider while enhancing the utilities of the vehicles. Furthermore, considering the resource limitation of the MEC server and the latency tolerance of the computation tasks, we propose a contract-based computation resource allocation scheme. Numerical results show that our proposed scheme greatly enhances the utility of the MEC service provider. ©2016 IEEE 

  • 463.
    Zhang, Ke
    et al.
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Mao, Yuming
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Leng, Supeng
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Zeng, Ming
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Xu, Liang
    School of Communication and Information Engineering, University of Electronic Science and Technology of China, Chengdu, China.
    Jiang, Li
    Beijing University of Posts and Telecommunications, Beijing, China.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Optimal energy exchange schemes in smart grid networks: A contract theoretic approach2016In: 2016 IEEE/CIC International Conference on Communications in China (ICCC), Piscataway, NJ: IEEE, 2016, article id 7636834Conference paper (Refereed)
    Abstract [en]

    Vehicle-to-Grid (V2G) is a promising paradigm to alleviate energy supply and demand imbalance of the grid. To further improve the power transmission efficiency, in this paper, we propose a cloudlet-based Vehicle-to-Vehicle (V2V) energy exchange framework. In the framework, the Energy Switch Center (ESC) serves as a trading broker, which purchases electricity from discharging vehicles and then resells it to the charging ones without energy transmission on the grid. The energy trading process is modeled in a contract theoretic approach. We derive the optimal feasible contracts which maximize the profit of the ESC. Furthermore, we systematically study the practical scenario where both the charging demand and renewable energy supplement are random variables, and propose a practical optimal contract-based electricity purchase scheme. Simulation results show that the proposed scheme can efficiently increase the profit of the ESC than the other mechanisms. © 2016 IEEE.

  • 464.
    Zhang, Yan
    et al.
    Department of Informatics, University of Oslo, Oslo, Norway.
    Jonsson, Magnus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Li, Minqiang
    Department of Information Management and Management Science, Tianjin University, Tianjin, China.
    Guest editorial special issue on industrial IoT systems and applications2017In: IEEE Systems Journal, ISSN 1932-8184, E-ISSN 1937-9234, Vol. 11, no 3, p. 1337-1339, article id 8052330Article in journal (Other academic)
  • 465.
    Zhang, Yan
    et al.
    School of Electrical and Electronics Engineering, Nanyang Technological University, Singapore, Singapore.
    Jonsson, MagnusHalmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).Li, MinqiangDepartment of Information Management and Management Science, College of Management and Economics, Tianjin University, Tianjin Shi, China.
    Special Issue on Industrial IoT Systems and Applications2017Collection (editor) (Refereed)
  • 466.
    Zheyuan, Liu
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Evaluation of platoon Application Enabled by Contemporary ETSI ITS-G5 Standards2015Independent thesis Advanced level (degree of Master (Two Years)), 80 credits / 120 HE creditsStudent thesis
  • 467.
    Zhuang, Weihua
    et al.
    University of Waterloo, Ontario, Canada.
    Jamalipour, Abbas
    University of Sydney, Sydney, New South Wales, Australia.
    Bai, Fan
    Carnegie Mellon University, Pittsburgh, Pennsylvania, USA.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Emerging Technologies, Applications, and Standardizations for Connecting Vehicles: [From the Guest Editors]2015In: IEEE Vehicular Technology Magazine, ISSN 1556-6072, E-ISSN 1556-6080, Vol. 10, no 4, p. 33-35Article in journal (Refereed)
    Abstract [en]

    The articles in this special section focus on the state of the art in the emerging technology for vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) communications, the latest development in standardizations and regulations, and potential services and applications for vehicles on roads. © Copyright 2015 IEEE

  • 468.
    Zhuang, Weihua
    et al.
    Department of Electrical and Computer Engineering, University of Waterloo, ON, Canada.
    Jamalipour, Abbas
    University of Sydney, Sidney, Australia.
    Bai, Fan
    Caign, Universitarnegie Mellon University, University of Illinois at Urbana-Champy of Southern California, United States.
    Vinel, Alexey
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Emerging Technologies, Applications, and Standardizations for Connecting Vehicles (Part II)2017In: IEEE Vehicular Technology Magazine, ISSN 1556-6072, E-ISSN 1556-6080, Vol. 12, no 2, p. 23-25Article in journal (Other (popular science, discussion, etc.))
  • 469.
    Åhlander, Anders
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Efficient parallell architectures for future radar signal processing2007Doctoral thesis, comprehensive summary (Other academic)
    Abstract [en]

    The processing demands on future embedded radar signal processors may stretch to several trillions of floating-point operations per second (TFLOPS). This is an increase of two to three orders of magnitude realtive to the requirements of today. Still, the tight size and power constraints are unchanged. To meet this, new, highly parallel computer systems are needed. The systems should efficiently deliver very high performance as well as being general enough. Another challenge for future signal processors is the requirement for having huge working memories that are accessed in complicated patterns.

    This thesis analyses the challenges of two classes of radar signal processing applications, namely Space-Time Adaptive Processing (STAP), which represents performance-intensive applications, and Synthetic Aperture Radar (SAR) processing, which represents memory-intensive applications. In addition to the actual performance and memory aspects of the applications, the desire for low-effort application development and maintenance is taken into consideration.

    A multiple SIMD architecture is proposed for the STAP calculations. This architecture gives a combination of the high computational density in the SIMD processing modules with the overall flexibility provided on the system level. An embedded signal processing system based on the architecture is shown to be capable of TFLOPS class performance using standard CMOS VLSI technology available in the year 2001. The system is, for the given application domain, considered to have the same generality as commercial off-the-shelf (COTS) hardware, but has several years of time lead over COTS with regard to the computational performance.

    The studied SAR processing is characterized by operating on huge data sets and having varying, non-linear data access paths. For this, algorithm solutions and execution schemes in inerplay with a system parallelization approach are proposed. It is shown that it is possible to obtain efficient memory accesses, despite the omplicated memory access patterns. It is also shown that the computational burden from complex interpolation kernels can be reduced through extensive calculation reuse.

    Efficient engineering of complex applications in this context is discussed. The use of semi-transparent, platform-based development is demonstrated for STAP and SAR, and advocated for obtaining high engineering defficiency and long system sustainability, as well as high performance efficiency.

    The overall conclusion drawn from this work is that a solid knowledge of the application domain and its future requirements, in combination with an understanding of its interaction with computational architectures, potentially enables several years of lead time in the realization of new, advanced signal prodcessing products. The important requirements on programmability and sustainability must also be taken into account in order to achieve a viable signal processing solution.

  • 470.
    Åhlander, Anders
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Hellsten, H.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE).
    Lind, K.
    Saab Microwave Systems, Gothenburg, Sweden.
    Lindgren, J.
    Saab Microwave Systems, Gothenburg, Sweden.
    Svensson, Bertil
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Architectural challenges in memory-intensive, real-time image forming2007In: International Conference on Parallel Processing, 2007. ICPP 2007 / [ed] Li Jiandong, IEEE Press, 2007, p. 35-45Conference paper (Refereed)
    Abstract [en]

    The real-time image forming in future, high-end synthetic aperture radar systems is an example of an application that puts new demands on computer architectures. The initial question is whether it is at all possible to meet the demands with state-of-the-art technology or foreseeable new technology. It is therefore crucial to understand the computational flow, with its associated memory, bandwidth and processing demands. In this paper we analyse the application in order to, primarily, understand the algorithms and identify the challenges they present on a basic architectural level. The processing in the radar system is characterized by working on huge data sets, having complex memory access patterns, and doing real-time compensations for flight path errors. We propose algorithm solutions and execution schemes in interplay with a two-level (coarse-grain/fine-grain) system parallelization approach, and we provide approximate models on which the demands are quantified. In particular, we consider the choice of method for the performance-intensive data interpolations. This choice presents a trade-off problem between computational performance and size of working memory. The results of this "upstream" study will serve as a basis for further, more detailed architecture studies.

  • 471.
    Åhlander, Anders
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Åström, Anders
    Airborne Radar Division, Ericsson Microwave Systems AB, Mölndal, Sweden.
    Svensson, Bertil
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Taveniku, Mikael
    XCube Communication, Westford, MA, USA.
    Meeting Engineer Efficiency Requirements in Highly Parallel Signal Processing by Using Platforms2005In: Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems: November 14-16, 2005, Phoenix, AZ, USA / [ed] S. Q. Zheng, Anaheim: ACTA Press, 2005, p. 693-700Conference paper (Other (popular science, discussion, etc.))
    Abstract [en]

    One of the driving forces behind the development of new, highly parallel architectures is the need for embedded high-performance computing. The development of advanced applications on such architectures is, however, potentially connected to high costs. Cost-effective devel opment requires tools and processes that provide engineer efficiency, in this case tools and processes that help the developer master the application complexity. Related to engineer efficiency are the important concepts of system sustainability and flexibility. To address these issues, a platform approach can be taken. The platform should offer an understandable and stable development model, and at the same time give the possibility to take advantage of the rapid technology development, including the use of new parallel architectures. Thus it must support multiple hard ware targets, and the development model should decouple application development from mapping aspects. Two radar signal processing examples, one compute-intensive STAP and one data-intensive SAR, are used to illustrate the need. The GEPARD platform is presented as an example of our approach, and we argue that the described platform is a good fit for advanced signal processing development, facilitating the desired engineer efficiency, sustainability, and flexibility.

78910 451 - 471 of 471
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf