Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computation-Aware Algorithmic Design for Cyber-Physical Systems / Maria Prandini, Ricardo G. Sanfelice editors
| Computation-Aware Algorithmic Design for Cyber-Physical Systems / Maria Prandini, Ricardo G. Sanfelice editors |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2023 |
| Descrizione fisica | ix, 249 p. : ill. ; 24 cm |
| Soggetto non controllato |
Communicated Constrained Design
Computational-Aware Algorithms Cyber-Physical Systems Hybrid Control Model Predictive Control |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0278578 |
| Cham, : Birkhäuser, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computation-Aware Algorithmic Design for Cyber-Physical Systems / Maria Prandini, Ricardo G. Sanfelice editors
| Computation-Aware Algorithmic Design for Cyber-Physical Systems / Maria Prandini, Ricardo G. Sanfelice editors |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2023 |
| Descrizione fisica | ix, 249 p. : ill. ; 24 cm |
| Soggetto topico |
34A38 - Hybrid systems of ordinary differential equations [MSC 2020]
68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] 93-XX - Systems theory; control [MSC 2020] 93Cxx - Model systems in control theory [MSC 2020] 94Axx - Communication, information [MSC 2020] |
| Soggetto non controllato |
Communicated Constrained Design
Computational-Aware Algorithms Cyber-Physical Systems Hybrid Control Model Predictive Control |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00278578 |
| Cham, : Birkhäuser, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cyber-physical systems : a model-based approach / / Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cyber-physical systems : a model-based approach / / Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependable embedded systems / / editors, Jörg Henkel, Nikil Dutt
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Digital Transformation in Semiconductor Manufacturing : 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
| Digital Transformation in Semiconductor Manufacturing : 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Eingebettete Systeme : Grundlagen Eingebetteter Systeme in Cyber-Physikalischen Systemen / / von Peter Marwedel
| Eingebettete Systeme : 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
European Guide to Power System Testing : The ERIGrid Holistic Approach for Evaluating Complex Smart Grid Configurations / / edited by Thomas I. Strasser, Erik C. W. de Jong, Maria Sosnina
| European Guide to Power System Testing : 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
From digital twins to digital selves and beyond : engineering and social models for a trans-humanist world / / Franz Barachini, Christian Stary
| From digital twins to digital selves and beyond : engineering and social models for a trans-humanist world / / Franz Barachini, Christian Stary |
| Autore | Barachini Franz |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xviii, 127 pages) : illustrations (some color) |
| Altri autori (Persone) | StaryChristian |
| Soggetto topico |
Artificial intelligence - Social aspects
Cooperating objects (Computer systems) - Social aspects Transhumanism |
| Soggetto non controllato |
Trans-Humanism
Digital Twins Digital Society Artificial Intelligence Transformative Change Cyber-Physical Systems Robotics |
| ISBN | 3-030-96412-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Major Historical Landmarks in Computer Science Part I: Digital Twins: Advent and Trans-human Development 2. Background and Foundations 3. Beyond Data: Unifying Behavior Modeling Part II: Social Behavior of Artificial Agents 4. Background and Motivation 5. Simulation Methods and Game Theory 6. Social Dilemmas and Problems of Social Order 7. Emotional Modeling with Spatial Games 8. Agent-Based Stochastic Simulation of Emotions Part III: A Symbiosis 9. System-of-Systems Thinking 10. Provision of Information as Relational Task 11. Enabling Contextual Adaptation 12. Embodying Social Behavior 13. How to Create Digital Selves |
| Record Nr. | UNISA-996464538803316 |
|
Barachini Franz
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
From digital twins to digital selves and beyond : engineering and social models for a trans-humanist world / / Franz Barachini, Christian Stary
| From digital twins to digital selves and beyond : engineering and social models for a trans-humanist world / / Franz Barachini, Christian Stary |
| Autore | Barachini Franz |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xviii, 127 pages) : illustrations (some color) |
| Altri autori (Persone) | StaryChristian |
| Soggetto topico |
Artificial intelligence - Social aspects
Cooperating objects (Computer systems) - Social aspects Transhumanism Transhumanisme Intel·ligència artificial |
| Soggetto genere / forma | Llibres electrònics |
| Soggetto non controllato |
Trans-Humanism
Digital Twins Digital Society Artificial Intelligence Transformative Change Cyber-Physical Systems Robotics |
| ISBN | 3-030-96412-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Major Historical Landmarks in Computer Science Part I: Digital Twins: Advent and Trans-human Development 2. Background and Foundations 3. Beyond Data: Unifying Behavior Modeling Part II: Social Behavior of Artificial Agents 4. Background and Motivation 5. Simulation Methods and Game Theory 6. Social Dilemmas and Problems of Social Order 7. Emotional Modeling with Spatial Games 8. Agent-Based Stochastic Simulation of Emotions Part III: A Symbiosis 9. System-of-Systems Thinking 10. Provision of Information as Relational Task 11. Enabling Contextual Adaptation 12. Embodying Social Behavior 13. How to Create Digital Selves |
| Record Nr. | UNINA-9910555237103321 |
|
Barachini Franz
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
