Model-Based Engineering of Collaborative Embedded Systems [[electronic resource] ] : Extensions of the SPES Methodology / / edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck |
Autore | Böhm Wolfgang (Wolfgang J.) |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (XIII, 404 p. 148 illus., 83 illus. in color.) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Management information systems Automotive engineering Special purpose computers Software Engineering Software Management Automotive Engineering Special Purpose and Application-Based Systems |
Soggetto non controllato |
Software Engineering
Software Management Automotive Engineering Special Purpose and Application-Based Systems IT in Business Model-Driven Software Development Requirements Engineering Automotive Software Engineering Embedded Systems Open Access SPES Methodology Simulation Co-Design of Systems Business mathematics & systems Business applications Automotive technology & trades Automotive (motor mechanic) skills Expert systems / knowledge-based systems |
ISBN | 3-030-62136-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking and Theorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. |
Record Nr. | UNISA-996464424603316 |
Böhm Wolfgang (Wolfgang J.)
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology / / edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck |
Autore | Böhm Wolfgang (Wolfgang J.) |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (XIII, 404 p. 148 illus., 83 illus. in color.) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Management information systems Automotive engineering Special purpose computers Software Engineering Software Management Automotive Engineering Special Purpose and Application-Based Systems |
Soggetto non controllato |
Software Engineering
Software Management Automotive Engineering Special Purpose and Application-Based Systems IT in Business Model-Driven Software Development Requirements Engineering Automotive Software Engineering Embedded Systems Open Access SPES Methodology Simulation Co-Design of Systems Business mathematics & systems Business applications Automotive technology & trades Automotive (motor mechanic) skills Expert systems / knowledge-based systems |
ISBN | 3-030-62136-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking and Theorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. |
Record Nr. | UNINA-9910433229903321 |
Böhm Wolfgang (Wolfgang J.)
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Smart Cities, Green Technologies and Intelligent Transport Systems : 7th International Conference, SMARTGREENS, and 4th International Conference, VEHITS 2018, Funchal-Madeira, Portugal, March 16-18, 2018, Revised Selected Papers / / edited by Brian Donnellan, Cornel Klein, Markus Helfert, Oleg Gusikhin |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XIV, 390 p. 219 illus., 177 illus. in color.) |
Disciplina | 004 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Application software
Computer communication systems Artificial intelligence Optical data processing Computers and civilization Computer Applications Computer Communication Networks Information Systems Applications (incl. Internet) Artificial Intelligence Image Processing and Computer Vision Computers and Society |
ISBN | 3-030-26633-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910349290403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Smart cities, green technologies, and intelligent transport systems : 10th International Conference, SMARTGREENS 2021, and 7th International Conference, VEHITS 2021, virtual event, April 28-30, 2021, Revised selected papers / / edited by Cornel Klein, [and four others] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (468 pages) |
Disciplina | 737 |
Collana | Communications in Computer and Information Science |
Soggetto topico | City planning - Environmental aspects |
ISBN | 3-031-17098-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Smart Cities and Green ICT Systems -- Designing Air Quality Monitoring Systems in Smart Cities -- 1 Introduction -- 2 Theoretical Background -- 2.1 Analytic Hierarchy Process -- 2.2 Cellular Automata -- 2.3 Operational Data Layers -- 3 Results -- 3.1 Sensor Positioning Through AHP and Cellular Automata -- 3.2 Smart City Monitoring System and Control Architecture -- 4 Conclusions -- References -- Identifying Requirements to Model a Data Lifecycle in Smart City Frameworks -- 1 Introduction -- 2 Objectives of this Paper -- 3 Issues of Data Lifecycle Modelling -- 4 Data Lifecycle Modelling Requirements -- 5 Development of a Taxonomy -- 6 Analysis of Smart Cities Frameworks -- 7 Illustrative Use Case -- 8 Discussion -- 9 Conclusion -- References -- A Spatial-Temporal Comparison of EV Charging Station Clusters Leveraging Multiple Validity Indices -- 1 Introduction -- 2 Related Work -- 3 Background -- 3.1 Partitioning Methods -- 3.2 Density Methods -- 3.3 Grid Methods -- 3.4 Hierarchical Methods -- 4 Methodology -- 4.1 Clustering Algorithm Selection -- 4.2 The Proposed Analytical Workflow -- 4.3 Clustering and Results Exploration -- 5 Implementation -- 6 Discussion of the Results -- 6.1 Week of May 27th, 2019 - (Reference Week) -- 6.2 Week of February 17th, 2020 -- 6.3 Week of March 02nd, 2020 -- 6.4 Week of July 29th, 2019 -- 6.5 Week of December 02nd, 2019 -- 6.6 Overall Results -- 7 Conclusions and Future Work -- References -- Facade Material Identification for Optimizing Building Energy Consumption Across Various WWRs for ECBC(Code) Compliant Buildings in Warm-Humid Climate, India -- 1 Introduction -- 1.1 Urbanization in India -- 1.2 Sustainable Development Goals -- 1.3 Energy Consumption Management in India -- 2 Methodology -- 2.1 Building Envelope Optimization: WWR, External Wall and Roof Slab Design.
2.2 Window to Wall Ratio -- 2.3 Material Design of External Walls and Roof Slab -- 2.4 Building Simulation -- 3 Results and Discussion -- 3.1 Graph Apprehension -- 3.2 Detailed Graph Reading -- 4 Conclusion -- References -- Hierarchical Clustering of Complex Energy Systems Using Pretopology -- 1 Introduction -- 2 Literature Review -- 3 Pretopology -- 3.1 Pretopological Space -- 4 Hierarchical Clustering Algorithms -- 5 Model Validation and Visualization of Results -- 5.1 Results on Different Datasets -- 5.2 Benchmark Dataset -- 5.3 Results Analysis on Benchmark Dataset -- 5.4 Real Dataset -- 5.5 Result Analysis on Real Dataset -- 6 Discussion and Future Work -- 7 Conclusion -- References -- Analysis of Citizen's Feedback from the Lens of Smart City Framework: A Case Study Based Approach -- 1 Introduction -- 2 e-Parking Service (Case Study) -- 3 Smart City Framework -- 3.1 Context Layer -- 3.2 Service Layer -- 3.3 Technology Layer -- 3.4 Information Layer -- 4 Discussion -- 5 Conclusion and Future Work -- References -- A Decision Support System Based on Rainfall Nowcasting and Artificial Neural Networks to Mitigate Wastewater Treatment Plant Downstream Floods -- 1 Introduction -- 2 Study Area and System Layout -- 3 Methodology -- 3.1 Data Acquisition -- 3.2 Nowcasting -- 3.3 Artificial Neural Networks -- 4 ANNs Performance -- 4.1 Multilayer Perceptron -- 4.2 Long Short-Term Memory -- 5 User Interface -- 6 Discussion -- 7 Conclusions -- References -- Impact of BIPV Panels Across Various Window-to-Wall Ratios in Commercial Buildings, to Reduce its Energy Performance Index in Warm and Humid Climate Zone of India -- 1 Introduction -- 1.1 Energy Consumption in Building Sector -- 1.2 Energy Efficiency in India -- 1.3 Renewable Source of Energy in India -- 2 Literature Review -- 2.1 Use of BIPV Technology in Buildings -- 3 Methodology. 3.1 Building Data Modelling -- 4 Results and Discussion -- 4.1 Optimum BIPV System Details According to Building Entrance Façade Orientation -- 4.2 8-h Building Results with Integration of BIPV System -- 4.3 24-h Building Results with Integration of BIPV System -- 5 Analysis -- 6 Conclusion -- References -- Building Rich Interior Hazard Maps for Public Safety -- 1 Introduction -- 2 Related Work -- 2.1 Labeled 2D and 3D Datasets -- 2.2 Object Detection and Classification in 2D RGB Images -- 2.3 Object Detection and Classification in 3D Point Clouds -- 2.4 Object Detection and Classification Pipelines in RGB-D Data -- 3 Overview -- 3.1 Challenges -- 3.2 Approaches -- 4 Data Collection -- 4.1 Hardware -- 4.2 Data Collection Work Flow -- 5 Data Processing -- 5.1 2D Image Annotation -- 5.2 Data Fusion -- 5.3 Label Clustering and Manual Cleaning -- 5.4 LiDAR Data Stitching and Georeferencing -- 6 Application of 3D Building Maps in Public Safety -- 7 Evaluation Results -- 7.1 Object Annotation -- 7.2 Performance Measurement on Point Cloud -- 8 Conclusion -- References -- Vehicle Technology and Intelligent Transport Systems -- A Scalable Approach to Vocation and Fleet Identification for Heavy-Duty Vehicles -- 1 Introduction -- 2 Related Work -- 3 Methods -- 3.1 Data Aggregation -- 3.2 Vocation Classifiers -- 3.3 Fleet Classifiers -- 4 Results -- 4.1 Vocation Classification -- 4.2 Coach Bus Fleet Classification -- 5 Discussion -- 6 Conclusion -- References -- A New Traffic Sign Detection Technique Using Two-Stage Convolutional Neural Networks -- 1 Introduction -- 2 The Proposed Approach -- 2.1 Detection Network -- 2.2 Classification Network -- 3 The Dataset -- 4 Experimental Results -- 5 Conclusions -- References -- Traffic Estimation and MPC-Based Traffic Light System Control in Realistic Real-Time Traffic Environments -- 1 Introduction. 2 Online Real-Time Traffic Estimator -- 2.1 General Aspects -- 2.2 Routing Levels and Interactions -- 3 MPC-Based Traffic Controller -- 3.1 Controller Structure -- 3.2 MPC Properties and Characteristics -- 3.3 Prediction Model -- 3.4 Parameter Selection and Model Tuning -- 4 Simulative Application of the Control Strategy -- 4.1 Simple Fictional Example -- 4.2 Real-World Scenario -- 5 Conclusion and Future Work -- References -- Solving Complex Intersection Management Problems Using Bi-level MINLPs and Piecewise Linearization Techniques -- 1 Introduction -- 2 General Considerations and Assumptions -- 2.1 Vehicles -- 2.2 Intersection Geometry -- 3 Bi-level Problem Formulation -- 3.1 Lower-Level Problem: Vehicle Motion -- 3.2 Upper-Level Problem: Intersection Management -- 4 Piecewise Linearization -- 5 Numerical Simulations -- 6 Conclusions and Outlook -- A Quantities, Variables, and Conflict Matrix -- References -- Interaction-Aware Motion Prediction at Highways: A Comparison of Three Lane Changing Models -- 1 Introduction -- 2 Related Work -- 2.1 Interaction Awareness -- 2.2 Motion Prediction -- 2.3 Motion Prediction with Interaction Awareness -- 3 Architecture -- 3.1 Map -- 3.2 Find/Reuse Corridors -- 3.3 Find Interactions -- 3.4 Compute Intentions -- 3.5 Motion Prediction -- 4 Lateral Models -- 4.1 Model 1 -- 4.2 Model 2 -- 4.3 Model 3 -- 5 Experimental Results -- 5.1 Scenario 1 -- 5.2 Scenario 2 -- 5.3 Evaluation Metrics -- 6 Conclusion and Future Work -- References -- A Hierarchical Dependency-Driven Scenario-Based Testing for Autonomous Vehicles -- 1 Introduction -- 2 Terminology and Related Work -- 2.1 Terminology and Definition -- 2.2 Related Work -- 3 Approach -- 4 Study -- 4.1 Object of Analysis -- 4.2 Variables -- 4.3 Experimental Procedure -- 4.4 Results -- 5 Discussion -- 6 Conclusion and Future Work -- References. Optimal Control of Traffic Flow Based on Reinforcement Learning -- 1 Introduction -- 2 Optimal Control of Traffic Flows -- 2.1 Traffic Modelling -- 2.2 Traffic Control -- 3 Model-Free Reinforcement Learning -- 3.1 Policy Optimization -- 4 Ring Road Control -- 4.1 Experimental Set-Up -- 4.2 Results -- 5 Traffic Light Control -- 5.1 Experimental Set-Up -- 5.2 Rush Hour Scenario -- 5.3 Data-Availability -- 6 Summary and Conclusion -- References -- Detecting Extended Incidents in Urban Road Networks for Organic Traffic Control Using Density-Based Clustering of Traffic Flows -- 1 Introduction -- 2 Background -- 2.1 Adaptive Traffic Light Control -- 2.2 Detection of Traffic Incidents -- 3 Preliminary Work -- 3.1 Organic Traffic Control -- 3.2 Urban Road Networks -- 3.3 Preliminary Work -- 4 Approach -- 4.1 Preprocessing -- 4.2 DBSCAN -- 4.3 Domain Knowledge -- 5 Evaluation -- 5.1 Traffic Simulator -- 5.2 Extended Road Networks -- 5.3 Traffic Volumes -- 5.4 Distance Measures -- 5.5 Section and Lane Closures -- 5.6 Experiments -- 5.7 Evaluation Criteria -- 5.8 Results -- 6 Summary -- References -- Cooperative Driving: Research on Generic Decentralized Maneuver Coordination for Connected and Automated Vehicles -- 1 Introduction -- 2 Use Cases for Cooperative Maneuver Coordination -- 3 Decentralized Maneuver Coordination -- 3.1 Use Case-Specific Coordination Approaches -- 3.2 Generic Coordination Approaches -- 4 Comparison of Approaches -- 5 Research Gaps in Cooperative Maneuver Coordination -- 5.1 Detection and Decision Logic -- 5.2 Maneuver Coordination Protocol -- 5.3 V2X Communication -- 6 Conclusion -- References -- Free-Flow Speed Profile Prediction for Tangent Segments on Urban Roads -- 1 Introduction -- 2 Materials and Methods -- 2.1 Sample Size -- 2.2 Road Test Section -- 2.3 Research Instruments -- 2.4 Driver Selection. 2.5 Driver and Car Data Collection. |
Record Nr. | UNISA-996490358703316 |
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Smart cities, green technologies, and intelligent transport systems : 10th International Conference, SMARTGREENS 2021, and 7th International Conference, VEHITS 2021, virtual event, April 28-30, 2021, Revised selected papers / / edited by Cornel Klein, [and four others] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (468 pages) |
Disciplina | 737 |
Collana | Communications in Computer and Information Science |
Soggetto topico | City planning - Environmental aspects |
ISBN | 3-031-17098-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Smart Cities and Green ICT Systems -- Designing Air Quality Monitoring Systems in Smart Cities -- 1 Introduction -- 2 Theoretical Background -- 2.1 Analytic Hierarchy Process -- 2.2 Cellular Automata -- 2.3 Operational Data Layers -- 3 Results -- 3.1 Sensor Positioning Through AHP and Cellular Automata -- 3.2 Smart City Monitoring System and Control Architecture -- 4 Conclusions -- References -- Identifying Requirements to Model a Data Lifecycle in Smart City Frameworks -- 1 Introduction -- 2 Objectives of this Paper -- 3 Issues of Data Lifecycle Modelling -- 4 Data Lifecycle Modelling Requirements -- 5 Development of a Taxonomy -- 6 Analysis of Smart Cities Frameworks -- 7 Illustrative Use Case -- 8 Discussion -- 9 Conclusion -- References -- A Spatial-Temporal Comparison of EV Charging Station Clusters Leveraging Multiple Validity Indices -- 1 Introduction -- 2 Related Work -- 3 Background -- 3.1 Partitioning Methods -- 3.2 Density Methods -- 3.3 Grid Methods -- 3.4 Hierarchical Methods -- 4 Methodology -- 4.1 Clustering Algorithm Selection -- 4.2 The Proposed Analytical Workflow -- 4.3 Clustering and Results Exploration -- 5 Implementation -- 6 Discussion of the Results -- 6.1 Week of May 27th, 2019 - (Reference Week) -- 6.2 Week of February 17th, 2020 -- 6.3 Week of March 02nd, 2020 -- 6.4 Week of July 29th, 2019 -- 6.5 Week of December 02nd, 2019 -- 6.6 Overall Results -- 7 Conclusions and Future Work -- References -- Facade Material Identification for Optimizing Building Energy Consumption Across Various WWRs for ECBC(Code) Compliant Buildings in Warm-Humid Climate, India -- 1 Introduction -- 1.1 Urbanization in India -- 1.2 Sustainable Development Goals -- 1.3 Energy Consumption Management in India -- 2 Methodology -- 2.1 Building Envelope Optimization: WWR, External Wall and Roof Slab Design.
2.2 Window to Wall Ratio -- 2.3 Material Design of External Walls and Roof Slab -- 2.4 Building Simulation -- 3 Results and Discussion -- 3.1 Graph Apprehension -- 3.2 Detailed Graph Reading -- 4 Conclusion -- References -- Hierarchical Clustering of Complex Energy Systems Using Pretopology -- 1 Introduction -- 2 Literature Review -- 3 Pretopology -- 3.1 Pretopological Space -- 4 Hierarchical Clustering Algorithms -- 5 Model Validation and Visualization of Results -- 5.1 Results on Different Datasets -- 5.2 Benchmark Dataset -- 5.3 Results Analysis on Benchmark Dataset -- 5.4 Real Dataset -- 5.5 Result Analysis on Real Dataset -- 6 Discussion and Future Work -- 7 Conclusion -- References -- Analysis of Citizen's Feedback from the Lens of Smart City Framework: A Case Study Based Approach -- 1 Introduction -- 2 e-Parking Service (Case Study) -- 3 Smart City Framework -- 3.1 Context Layer -- 3.2 Service Layer -- 3.3 Technology Layer -- 3.4 Information Layer -- 4 Discussion -- 5 Conclusion and Future Work -- References -- A Decision Support System Based on Rainfall Nowcasting and Artificial Neural Networks to Mitigate Wastewater Treatment Plant Downstream Floods -- 1 Introduction -- 2 Study Area and System Layout -- 3 Methodology -- 3.1 Data Acquisition -- 3.2 Nowcasting -- 3.3 Artificial Neural Networks -- 4 ANNs Performance -- 4.1 Multilayer Perceptron -- 4.2 Long Short-Term Memory -- 5 User Interface -- 6 Discussion -- 7 Conclusions -- References -- Impact of BIPV Panels Across Various Window-to-Wall Ratios in Commercial Buildings, to Reduce its Energy Performance Index in Warm and Humid Climate Zone of India -- 1 Introduction -- 1.1 Energy Consumption in Building Sector -- 1.2 Energy Efficiency in India -- 1.3 Renewable Source of Energy in India -- 2 Literature Review -- 2.1 Use of BIPV Technology in Buildings -- 3 Methodology. 3.1 Building Data Modelling -- 4 Results and Discussion -- 4.1 Optimum BIPV System Details According to Building Entrance Façade Orientation -- 4.2 8-h Building Results with Integration of BIPV System -- 4.3 24-h Building Results with Integration of BIPV System -- 5 Analysis -- 6 Conclusion -- References -- Building Rich Interior Hazard Maps for Public Safety -- 1 Introduction -- 2 Related Work -- 2.1 Labeled 2D and 3D Datasets -- 2.2 Object Detection and Classification in 2D RGB Images -- 2.3 Object Detection and Classification in 3D Point Clouds -- 2.4 Object Detection and Classification Pipelines in RGB-D Data -- 3 Overview -- 3.1 Challenges -- 3.2 Approaches -- 4 Data Collection -- 4.1 Hardware -- 4.2 Data Collection Work Flow -- 5 Data Processing -- 5.1 2D Image Annotation -- 5.2 Data Fusion -- 5.3 Label Clustering and Manual Cleaning -- 5.4 LiDAR Data Stitching and Georeferencing -- 6 Application of 3D Building Maps in Public Safety -- 7 Evaluation Results -- 7.1 Object Annotation -- 7.2 Performance Measurement on Point Cloud -- 8 Conclusion -- References -- Vehicle Technology and Intelligent Transport Systems -- A Scalable Approach to Vocation and Fleet Identification for Heavy-Duty Vehicles -- 1 Introduction -- 2 Related Work -- 3 Methods -- 3.1 Data Aggregation -- 3.2 Vocation Classifiers -- 3.3 Fleet Classifiers -- 4 Results -- 4.1 Vocation Classification -- 4.2 Coach Bus Fleet Classification -- 5 Discussion -- 6 Conclusion -- References -- A New Traffic Sign Detection Technique Using Two-Stage Convolutional Neural Networks -- 1 Introduction -- 2 The Proposed Approach -- 2.1 Detection Network -- 2.2 Classification Network -- 3 The Dataset -- 4 Experimental Results -- 5 Conclusions -- References -- Traffic Estimation and MPC-Based Traffic Light System Control in Realistic Real-Time Traffic Environments -- 1 Introduction. 2 Online Real-Time Traffic Estimator -- 2.1 General Aspects -- 2.2 Routing Levels and Interactions -- 3 MPC-Based Traffic Controller -- 3.1 Controller Structure -- 3.2 MPC Properties and Characteristics -- 3.3 Prediction Model -- 3.4 Parameter Selection and Model Tuning -- 4 Simulative Application of the Control Strategy -- 4.1 Simple Fictional Example -- 4.2 Real-World Scenario -- 5 Conclusion and Future Work -- References -- Solving Complex Intersection Management Problems Using Bi-level MINLPs and Piecewise Linearization Techniques -- 1 Introduction -- 2 General Considerations and Assumptions -- 2.1 Vehicles -- 2.2 Intersection Geometry -- 3 Bi-level Problem Formulation -- 3.1 Lower-Level Problem: Vehicle Motion -- 3.2 Upper-Level Problem: Intersection Management -- 4 Piecewise Linearization -- 5 Numerical Simulations -- 6 Conclusions and Outlook -- A Quantities, Variables, and Conflict Matrix -- References -- Interaction-Aware Motion Prediction at Highways: A Comparison of Three Lane Changing Models -- 1 Introduction -- 2 Related Work -- 2.1 Interaction Awareness -- 2.2 Motion Prediction -- 2.3 Motion Prediction with Interaction Awareness -- 3 Architecture -- 3.1 Map -- 3.2 Find/Reuse Corridors -- 3.3 Find Interactions -- 3.4 Compute Intentions -- 3.5 Motion Prediction -- 4 Lateral Models -- 4.1 Model 1 -- 4.2 Model 2 -- 4.3 Model 3 -- 5 Experimental Results -- 5.1 Scenario 1 -- 5.2 Scenario 2 -- 5.3 Evaluation Metrics -- 6 Conclusion and Future Work -- References -- A Hierarchical Dependency-Driven Scenario-Based Testing for Autonomous Vehicles -- 1 Introduction -- 2 Terminology and Related Work -- 2.1 Terminology and Definition -- 2.2 Related Work -- 3 Approach -- 4 Study -- 4.1 Object of Analysis -- 4.2 Variables -- 4.3 Experimental Procedure -- 4.4 Results -- 5 Discussion -- 6 Conclusion and Future Work -- References. Optimal Control of Traffic Flow Based on Reinforcement Learning -- 1 Introduction -- 2 Optimal Control of Traffic Flows -- 2.1 Traffic Modelling -- 2.2 Traffic Control -- 3 Model-Free Reinforcement Learning -- 3.1 Policy Optimization -- 4 Ring Road Control -- 4.1 Experimental Set-Up -- 4.2 Results -- 5 Traffic Light Control -- 5.1 Experimental Set-Up -- 5.2 Rush Hour Scenario -- 5.3 Data-Availability -- 6 Summary and Conclusion -- References -- Detecting Extended Incidents in Urban Road Networks for Organic Traffic Control Using Density-Based Clustering of Traffic Flows -- 1 Introduction -- 2 Background -- 2.1 Adaptive Traffic Light Control -- 2.2 Detection of Traffic Incidents -- 3 Preliminary Work -- 3.1 Organic Traffic Control -- 3.2 Urban Road Networks -- 3.3 Preliminary Work -- 4 Approach -- 4.1 Preprocessing -- 4.2 DBSCAN -- 4.3 Domain Knowledge -- 5 Evaluation -- 5.1 Traffic Simulator -- 5.2 Extended Road Networks -- 5.3 Traffic Volumes -- 5.4 Distance Measures -- 5.5 Section and Lane Closures -- 5.6 Experiments -- 5.7 Evaluation Criteria -- 5.8 Results -- 6 Summary -- References -- Cooperative Driving: Research on Generic Decentralized Maneuver Coordination for Connected and Automated Vehicles -- 1 Introduction -- 2 Use Cases for Cooperative Maneuver Coordination -- 3 Decentralized Maneuver Coordination -- 3.1 Use Case-Specific Coordination Approaches -- 3.2 Generic Coordination Approaches -- 4 Comparison of Approaches -- 5 Research Gaps in Cooperative Maneuver Coordination -- 5.1 Detection and Decision Logic -- 5.2 Maneuver Coordination Protocol -- 5.3 V2X Communication -- 6 Conclusion -- References -- Free-Flow Speed Profile Prediction for Tangent Segments on Urban Roads -- 1 Introduction -- 2 Materials and Methods -- 2.1 Sample Size -- 2.2 Road Test Section -- 2.3 Research Instruments -- 2.4 Driver Selection. 2.5 Driver and Car Data Collection. |
Record Nr. | UNINA-9910616397303321 |
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Smart cities, green technologies, and intelligent transport systems : 9th International Conference, SMARTGREENS 2020, and 6th International Conference, VEHITS 2020, Prague, Czech Republic, May 2-4, 2020, revised selected papers / / edited by Cornel Klein [and three others.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (334 pages) |
Disciplina | 004 |
Collana | Communications in Computer and Information Science |
Soggetto topico | Intelligent transportation systems |
ISBN | 3-030-89170-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996464417103316 |
Cham, Switzerland : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Smart cities, green technologies, and intelligent transport systems : 9th International Conference, SMARTGREENS 2020, and 6th International Conference, VEHITS 2020, Prague, Czech Republic, May 2-4, 2020, revised selected papers / / edited by Cornel Klein [and three others.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (334 pages) |
Disciplina | 004 |
Collana | Communications in Computer and Information Science |
Soggetto topico | Intelligent transportation systems |
ISBN | 3-030-89170-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910506376303321 |
Cham, Switzerland : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Smart Cities, Green Technologies, and Intelligent Transport Systems : 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers / / edited by Brian Donnellan, Cornel Klein, Markus Helfert, Oleg Gusikhin, António Pascoal |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XIV, 355 p. 153 illus., 121 illus. in color.) |
Disciplina |
004
338.9 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Application software
Computer communication systems Artificial intelligence Computers Computer science—Mathematics Computer Applications Computer Communication Networks Artificial Intelligence Information Systems and Communication Service Computing Milieux Mathematics of Computing |
ISBN | 3-030-02907-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Energy-aware systems and technologies -- Smart cities -- Intelligent vehicle technologies. . |
Record Nr. | UNINA-9910337564103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Smart Cities, Green Technologies, and Intelligent Transport Systems : 5th International Conference, SMARTGREENS 2016, and Second International Conference, VEHITS 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers / / edited by Markus Helfert, Cornel Klein, Brian Donnellan, Oleg Gusikhin |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 323 p. 173 illus.) |
Disciplina | 307.1416 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Application software
Computer organization Artificial intelligence Computers and civilization Computer Applications Computer Systems Organization and Communication Networks Artificial Intelligence Computers and Society |
ISBN | 3-319-63712-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- Smart Cities and Green ICT Systems -- Vehicle Technology and Intelligent Transport Systems. |
Record Nr. | UNINA-9910254833103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Smart Cities, Green Technologies, and Intelligent Transport Systems : 4th International Conference, SMARTGREENS 2015, and 1st International Conference VEHITS 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers / / edited by Markus Helfert, Karl-Heinz Krempels, Cornel Klein, Brian Donellan, Oleg Guiskhin |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XII, 323 p. 137 illus. in color.) |
Disciplina | 307.1416 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Application software
Computers and civilization Computer simulation Artificial intelligence Optical data processing Computer Applications Computers and Society Simulation and Modeling Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics |
ISBN | 3-319-27753-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Smart City Concepts: Chances and Risks of Energy Efficient Urban Development -- Smart Cities Concept and Challenges: Bases for the Assessment of Smart City Projects Constructing Human Smart Cities -- An Open Platform for Children’s Independent Mobility -- Architectures and Requirements for the Development of Smart Cities: A Literature Study -- People in Smart Buildings: Daily Practices in Automated Areas -- Introducing Flexibility into Data Centers for Smart Cities -- Automatic Validation for Crowd Simulation: Test Suite for a Pedestrian Simulator based on Different Scenarios -- A 2DOFvibrational Energy Harvester Exploiting Velocity Amplification: Modeling and Testing -- Voltage Control in Low Voltage Grids with Distributed Energy Resources: A Droop-based Approach -- A Sensitivity based Approach for Efficient PMU Deployment on Smart Grid -- Using Flexibility Information for Planning the Energy Demand of Households -- Laser Scanner and Camera Fusion for Automatic Obstacle Classification in ADAS Application -- Vehicle Routing to Minimizing Hybrid Fleet Fuel Consumption -- Service-Oriented Architecture for Cloud Application Development -- An Integrated Architecture for Simulation and Modeling of Small- and Medium-sized Transportation and Communication Networks -- Privacy Endangerment from Protocol Data Sets in VANETs and Countermeasures. |
Record Nr. | UNINA-9910298964803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|