Cyber-physical systems : a model-based approach / / Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg |
Autore | Taha Walid <1972-> |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (xxii, 187 pages) : illustrations; digital, PDF file(s) |
Disciplina | 004.6 |
Soggetto topico |
Computer organization
Computer engineering Internet of things Embedded computer systems Computer simulation Control engineering Robotics Mechatronics Computer Systems Organization and Communication Networks Cyber-physical systems, IoT Simulation and Modeling Control, Robotics, Mechatronics |
Soggetto non controllato |
Computer Systems Organization and Communication Networks
Cyber-physical systems, IoT Simulation and Modeling Control, Robotics, Mechatronics Computer Engineering and Networks Cyber-Physical Systems Computer Science Control, Robotics, Automation CPS Embedded System model-based engineering hybrid systems Acumen coordinate transformations modeling computational systems modeling physical systems control sensing and actuation game theory Open Access Computer networking & communications Electrical engineering Cybernetics & systems theory Computer modelling & simulation Automatic control engineering Electronic devices & materials |
ISBN | 3-030-36071-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: Core Concepts -- 1. What is a Cyber-Physical System? -- 2. Modeling Physical Systems -- 3. Hybrid Systems -- 4. Control Theory -- 5. Modeling Computational Systems -- 6. Coordinate Transformation (Robot Arm) -- Part II: Selected Topics -- 7. Game Theory -- 8. Communications -- 9. Sensing and Actuation -- Part III: Appendix -- A. Acumen Reference Manual -- Index. |
Record Nr. | UNINA-9910418353203321 |
Taha Walid <1972->
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Cyber-physical systems : a model-based approach / / Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg |
Autore | Taha Walid <1972-> |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (xxii, 187 pages) : illustrations; digital, PDF file(s) |
Disciplina | 004.6 |
Soggetto topico |
Computer organization
Computer engineering Internet of things Embedded computer systems Computer simulation Control engineering Robotics Mechatronics Computer Systems Organization and Communication Networks Cyber-physical systems, IoT Simulation and Modeling Control, Robotics, Mechatronics |
Soggetto non controllato |
Computer Systems Organization and Communication Networks
Cyber-physical systems, IoT Simulation and Modeling Control, Robotics, Mechatronics Computer Engineering and Networks Cyber-Physical Systems Computer Science Control, Robotics, Automation CPS Embedded System model-based engineering hybrid systems Acumen coordinate transformations modeling computational systems modeling physical systems control sensing and actuation game theory Open Access Computer networking & communications Electrical engineering Cybernetics & systems theory Computer modelling & simulation Automatic control engineering Electronic devices & materials |
ISBN | 3-030-36071-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: Core Concepts -- 1. What is a Cyber-Physical System? -- 2. Modeling Physical Systems -- 3. Hybrid Systems -- 4. Control Theory -- 5. Modeling Computational Systems -- 6. Coordinate Transformation (Robot Arm) -- Part II: Selected Topics -- 7. Game Theory -- 8. Communications -- 9. Sensing and Actuation -- Part III: Appendix -- A. Acumen Reference Manual -- Index. |
Record Nr. | UNISA-996464383003316 |
Taha Walid <1972->
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Dependable embedded systems / / editors, Jörg Henkel, Nikil Dutt |
Autore | Henkel Jörg |
Edizione | [1st edition 2021.] |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (XIII, 608 p. 293 illus., 250 illus. in color.) |
Disciplina | 621.3815 |
Collana | Embedded systems (Springer (Firm)) |
Soggetto topico |
Electronic circuits
Computer engineering Internet of things Embedded computer systems Microprocessors |
Soggetto non controllato |
Circuits and Systems
Cyber-physical systems, IoT Processor Architectures Electronic Circuits and Systems Cyber-Physical Systems Fault-Tolerant Computing Reliability Enhancers in Embedded Systems SoCs based on cross-layer-reliability System-Level Reliability Analysis Dependable Software Execution Open access Electronics: circuits & components Electrical engineering Cybernetics & systems theory Computer architecture & logic design |
ISBN | 3-030-52017-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Design of efficient, dependable SoCs based on cross-layer-reliability approach with emphasis on wireless communication as application and DRAM memories -- CRAU: Compositional System-Level Reliability Analysis in the Presence of Uncertainties -- Semantics-aware Soft Error Handling for Embedded Systems using Compiler-OS Interaction -- ARES: Self-Adaptive Coarse-Grained Reconfigurable Architectures as Reliability Enhancers in Embedded Systems -- Cross-Layer Techniques for Dependable Software Execution on Embedded Systems -- Ambrosia: Cross-layer Modeling and Mitigation of Aging Effects in Embedded Systems -- Cross-Layer Dependability for Embedded Hardware/Software Systems -- Fault-Tolerant Computing with Heterogeneous Hardware/Software Hardening Modes -- Robust Computing for Machine Learning-Based Systems -- Hardening embedded system software -- LIFT: Lifting Device-Level Characteristics for Error Resilient System Level Design: A Crosslayer Approach -- VirTherm-3D: Communication Virtualization Enabling System Management for Dependable 3D MPSoCs -- OTERA: Online Test Strategies for Reliable Reconfigurable Architectures -- Variability-Aware Software: Recent Results and Contributions -- EM Lifetime Constrained Optimization for Multi-Segment Power Grid Networks -- Lightweight Software-Assisted Memory Error Correction -- Reliability-Driven Resource Management for Multi-Core Systems-on-Chip -- Monitor Circuits for Device-Circuit Interaction -- PERCIES: Providing Efficient Reliability in Critical Embedded Systems. |
Record Nr. | UNINA-9910427734503321 |
Henkel Jörg
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Digital Transformation in Semiconductor Manufacturing [[electronic resource] ] : Proceedings of the 1st and 2nd European Advances in Digital Transformation Conference, EADTC 2018, Zittau, Germany and EADTC 2019, Milan, Italy / / edited by Sophia Keil, Rainer Lasch, Fabian Lindner, Jacob Lohmer |
Autore | Keil Sophia |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Springer Nature, 2020 |
Descrizione fisica | 1 online resource (VIII, 146 p. 64 illus., 50 illus. in color.) |
Disciplina | 621.38 |
Collana | Lecture Notes in Electrical Engineering |
Soggetto topico |
Computer engineering
Internet of things Embedded computer systems Engineering economics Engineering economy Robotics Automation Cyber-physical systems, IoT Engineering Economics, Organization, Logistics, Marketing Robotics and Automation |
Soggetto non controllato |
Cyber-physical systems, IoT
Engineering Economics, Organization, Logistics, Marketing Robotics and Automation Cyber-Physical Systems Industrial Management Industrial Automation Open Access Semantic Web Technologies Simulation-based Decision Making Cycle Time Modeling Automated Material Handling system Material Flow Simulation Digitalized Workplaces Automated Decision-making Cross Factory Decision-making Mixed Criticality Systems Digital twin Rapid Prototyping System dynamic simulation Return on quality iDev40 EADTC 2018 EADTC 2019 Electrical engineering Cybernetics & systems theory Engineering: general Management of specific areas Robotics |
ISBN | 3-030-48602-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A holistic digital twin based on Semantic Web technologies to accelerate digitalization -- Framework for Simulation-based Decision Making in Semiconductor Value Chains -- Digital Twin for Plan and Make Using Semantic Web Technologies – Extending the JESSI/SEMATECH MIMAC Standard to the Digital Reference -- Enhancing Prediction Quality of Fab Simulation by advanced Cycle Time modelling -- Visualization of Automated Material Handling System Components in Semiconductor Industry over the Lifecycle . |
Record Nr. | UNINA-9910403763803321 |
Keil Sophia
![]() |
||
Springer Nature, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Eingebettete Systeme [[electronic resource] ] : Grundlagen Eingebetteter Systeme in Cyber-Physikalischen Systemen / / von Peter Marwedel |
Autore | Marwedel Peter |
Edizione | [2nd ed. 2021.] |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (XXV, 469 S. 303 Abb., 146 Abb. in Farbe.) |
Disciplina |
621.39
004.6 |
Soggetto topico |
Computer engineering
Computer networks Cooperating objects (Computer systems) Embedded computer systems Internet of things Computer Engineering and Networks Cyber-Physical Systems Embedded Systems Internet of Things |
Soggetto non controllato |
Computer Systems Organization and Communication Networks
Cyber-physical systems, IoT Circuits and Systems Professional Computing Computer Engineering and Networks Cyber-Physical Systems Embedded Systems Internet of Things Eingebettete Systeme Buch Betriebssystem Echtzeitbetriebssysteme Hardware/Software-Codesign Scheduling Spezifikationssprachen Internet der Dinge Cyber-Physikalische Systeme Open Access Computer networking & communications Electrical engineering Cybernetics & systems theory Electronics: circuits & components Applied computing |
ISBN | 3-658-33437-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Einleitung -- Spezifikation und Modellierung -- Hardware eingebetteter Systeme -- Systemsoftware -- Bewertung und Validierung -- Abbildung von Anwendungen (Scheduling) -- Optimierung -- Test. |
Record Nr. | UNINA-9910482867403321 |
Marwedel Peter
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Embedded system design : embedded systems foundations of cyber-physical systems, and the Internet of Things / / Peter Marwedel |
Autore | Marwedel Peter |
Edizione | [4th edition 2021.] |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (XXII, 433 p. 138 illus., 124 illus. in color.) |
Disciplina | 621.3815 |
Collana | Embedded Systems |
Soggetto topico |
Internet of things
Cooperating objects (Computer systems) Embedded computer systems - Design and construction Ubiquitous computing |
Soggetto non controllato |
Circuits and Systems
Cyber-physical systems, IoT Professional Computing Processor Architectures Electronic Circuits and Systems Internet of Things Cyber-Physical Systems Textbook Embedded System Hardware Embedded System Software Embedded Systems Textbook Hardware/Software Codesign Real-Time Systems Textbook Real-time operating systems Open Access embedded systems textbook Open Access Electronics: circuits & components Electrical engineering Cybernetics & systems theory Applied computing Computer architecture & logic design |
ISBN | 3-030-60910-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Specifications and Modeling -- Chapter 3. Embedded System Hardware -- Chapter 4. System Software -- Chapter 5. Evaluation and Validation -- Chapter 6. Application Mapping -- Chapter 7. Optimization -- Chapter 8. Test. |
Record Nr. | UNINA-9910473459503321 |
Marwedel Peter
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
European Guide to Power System Testing [[electronic resource] ] : The ERIGrid Holistic Approach for Evaluating Complex Smart Grid Configurations / / edited by Thomas I. Strasser, Erik C. W. de Jong, Maria Sosnina |
Autore | Strasser Thomas I |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Springer Nature, 2020 |
Descrizione fisica | 1 online resource (XII, 132 p. 65 illus., 58 illus. in color.) |
Disciplina | 621.042 |
Soggetto topico |
Energy systems
Power electronics Renewable energy resources Computer engineering Internet of things Embedded computer systems Energy Systems Power Electronics, Electrical Machines and Networks Renewable and Green Energy Cyber-physical systems, IoT |
Soggetto non controllato |
Energy Systems
Power Electronics, Electrical Machines and Networks Renewable and Green Energy Cyber-physical systems, IoT Energy Grids and Networks Electrical Power Engineering Energy Policy, Economics and Management Cyber-Physical Systems Power Systems Smart Grids Validation and Testing Power Systems Testing Power Systems Lab Validation Real Time Simulation Smart Grids Validation Testing Open Access Energy technology & engineering Electrical engineering Alternative & renewable energy sources & technology Cybernetics & systems theory |
ISBN | 3-030-42274-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: Introduction -- Motivation -- State-of-the-Art and Current Practice in Power System Testing -- Overview of the ERIGrid System-Level Validation Approach -- Part II: Validation Methods, Concepts, and Tools -- Holistic System Integration and Testing Procedure -- Simulation-Based Assessment Methods -- Laboratory-Based Assessment Methods -- Laboratory Coupling Approach -- Part III: Test Cases, Case Studies, and Validation Examples -- Selected Test Cases -- Selected Case Studies and Validation Examples -- Experiences and Lessons Learned from the Holistic Validation Approach -- Part IV: Educational Aspects -- Training Needs -- Education Concepts and Material -- Part V: Outlook and Conclusions -- Outlook -- Conclusions. |
Record Nr. | UNINA-9910404104303321 |
Strasser Thomas I
![]() |
||
Springer Nature, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [[electronic resource] /] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe |
Autore | Carreira Paulo |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
Descrizione fisica | 1 online resource (XX, 285 p. 157 illus., 54 illus. in color.) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Computer engineering Internet of things Embedded computer systems Special purpose computers Application software Computer-aided engineering Software Engineering Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design |
Soggetto non controllato |
Software Engineering
Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design Open Access Embedded and cyber-physical systems Software design engineering Model-driven software engineering Modelica Performance Analysis Design Languages System Description Languages System and Modeling DEVS Statecharts Petri Nets Multi-Paradigm Modeling AADL Concurrency Modeling Electrical engineering Cybernetics & systems theory Expert systems / knowledge-based systems Information technology: general issues Computer-aided design (CAD) |
ISBN | 3-030-43946-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations -- Bond Graphs: A Unifying Framework for Modelling of Physical Systems -- Modelica: Equation-Based, Object-Oriented Modelling of Physical Systems -- Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical Systems -- DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems -- Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems -- Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems -- AADL: A Language to Specify the Architecture of Cyber-Physical Systems -- FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling. |
Record Nr. | UNISA-996465472303316 |
Carreira Paulo
![]() |
||
Cham, : Springer Nature, 2020 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [[electronic resource] /] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe |
Autore | Carreira Paulo |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
Descrizione fisica | 1 online resource (XX, 285 p. 157 illus., 54 illus. in color.) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Computer engineering Internet of things Embedded computer systems Special purpose computers Application software Computer-aided engineering Software Engineering Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design |
Soggetto non controllato |
Software Engineering
Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design Open Access Embedded and cyber-physical systems Software design engineering Model-driven software engineering Modelica Performance Analysis Design Languages System Description Languages System and Modeling DEVS Statecharts Petri Nets Multi-Paradigm Modeling AADL Concurrency Modeling Electrical engineering Cybernetics & systems theory Expert systems / knowledge-based systems Information technology: general issues Computer-aided design (CAD) |
ISBN | 3-030-43946-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations -- Bond Graphs: A Unifying Framework for Modelling of Physical Systems -- Modelica: Equation-Based, Object-Oriented Modelling of Physical Systems -- Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical Systems -- DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems -- Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems -- Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems -- AADL: A Language to Specify the Architecture of Cyber-Physical Systems -- FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling. |
Record Nr. | UNINA-9910404112303321 |
Carreira Paulo
![]() |
||
Cham, : Springer Nature, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Machine learning for cyber physical systems : selected papers from the international conference ML4CPS 2020 ; Berlin, Germany, March 12-13, 2020 / / editors, Jürgen Beyerer, Alexander Maier, Oliver Niggemann |
Autore | Beyerer Jürgen |
Edizione | [1st edition 2021.] |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (VII, 130 p. 42 illus., 25 illus. in color.) |
Disciplina | 621.38 |
Collana | Technologies for Intelligent Automation |
Soggetto topico | Machine learning |
Soggetto non controllato |
Cyber-physical systems, IoT
Communications Engineering, Networks Computer Systems Organization and Communication Networks Cyber-Physical Systems Computer Engineering and Networks Machine Learning Artificial Intelligence Cognitive Robotics Internet of Things Computational intelligence Computer-based algorithms Smart grid Open Access Industry 4.0 Electrical engineering Cybernetics & systems theory Communications engineering / telecommunications Computer networking & communications |
ISBN | 3-662-62746-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Energy Profile Prediction of Milling Processes Using Machine Learning Techniques -- Improvement of the prediction quality of electrical load profiles with artficial neural networks -- Detection and localization of an underwater docking station -- Deployment architecture for the local delivery of ML-Models to the industrial shop floor -- Deep Learning in Resource and Data Constrained Edge Computing Systems -- Prediction of Batch Processes Runtime Applying Dynamic Time Warping and Survival Analysis -- Proposal for requirements on industrial AI solutions -- Information modeling and knowledge extraction for machine learning applications in industrial production systems -- Explanation Framework for Intrusion Detection -- Automatic Generation of Improvement Suggestions for Legacy, PLC Controlled Manufacturing Equipment Utilizing Machine Learning -- Hardening Deep Neural Networks in Condition Monitoring Systems against Adversarial Example Attacks -- First Approaches to Automatically Diagnose and Reconfigure Hybrid Cyber-Physical Systems -- Machine learning for reconstruction of highly porous structures from FIB-SEM nano-tomographic data. |
Record Nr. | UNINA-9910433248603321 |
Beyerer Jürgen
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|