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 | ||
| ||
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 | ||
| ||
JIDOKA. Integration of Human and AI within Industry 4.0 Cyber Physical Manufacturing Systems
| JIDOKA. Integration of Human and AI within Industry 4.0 Cyber Physical Manufacturing Systems |
| Autore | Villalba-Diez Javier |
| Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 online resource (188 p.) |
| Soggetto topico |
History of engineering & technology
Technology: general issues |
| Soggetto non controllato |
complex networks
cyber-physical systems Cyber-Physical Systems deep learning digital twin Directed Acyclic Graphs distributed ledger technology EEG sensors finite horizon GDPR healthy operator 4.0 human-cyber-physical system industrial internet of things industry 4.0 Industry 4.0 integration explaining variability interoperability JIDOKA LASFA lean management systems Lean Manufacturing machine learning machine learning models maintenance cost maintenance interval maintenance model manufacturing systems Operator 4.0 optimization pipegraph process variability quantum approximate optimization algorithm quantum circuits quantum computing quantum simulation quantum strategic organizational design RAMI 4.0 reference architecture model right-censored data scikit-learn semi-Markov process shopfloor management smart workplaces strategic organizational design value-stream networks |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910566484003321 |
|
Villalba-Diez Javier
|
||
| Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the International Conference on Cybersecurity, Situational Awareness and Social Media : Cyber Science 2022; 20–21 June; Wales / Cyril Onwubiko ... [et al.] editors
| Proceedings of the International Conference on Cybersecurity, Situational Awareness and Social Media : Cyber Science 2022; 20–21 June; Wales / Cyril Onwubiko ... [et al.] editors |
| Autore | International Conference on Cybersecurity, Situational Awareness and Social Media : 8. : 2022 |
| Pubbl/distr/stampa | Singapore, : Springer, 2023 |
| Descrizione fisica | xxvi, 476 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68Txx - Artificial intelligence [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Blockchain Technologies Cyber Defence Cyber Incident Response Cyber Insurance Cyber Science Cyber-Physical Systems Internet of Things Machine learning Security Analytics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00285788 |
|
International Conference on Cybersecurity, Situational Awareness and Social Media : 8. : 2022
|
||
| Singapore, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Real-Time Embedded Systems / Mihai Lazarescu, Christos Koulamas
| Real-Time Embedded Systems / Mihai Lazarescu, Christos Koulamas |
| Autore | Lazarescu Mihai |
| Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2019 |
| Descrizione fisica | 1 electronic resource (188 p.) |
| Soggetto topico | Energy industries & utilities |
| Soggetto non controllato |
Internet of Things (IoT)
Embedded Systems Cyber-Physical Systems Real-Time Systems |
| ISBN |
9783038975106
3038975109 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910346687403321 |
|
Lazarescu Mihai
|
||
| MDPI - Multidisciplinary Digital Publishing Institute, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The mathematics of networks of linear systems / Paul A. Fuhrmann, Uwe Helmke
| The mathematics of networks of linear systems / Paul A. Fuhrmann, Uwe Helmke |
| Autore | Fuhrmann, Paul A. |
| Pubbl/distr/stampa | [Cham], : Springer, 2015 |
| Descrizione fisica | XIV, 662 p. : ill. ; 24 cm |
| Altri autori (Persone) | Helmke, Uwe |
| Soggetto topico |
94-XX - Information and communication theory, circuits [MSC 2020]
47-XX - Operator theory [MSC 2020] 37-XX - Dynamical systems and ergodic theory [MSC 2020] 11T71 Algebraic coding theory; cryptography [MSC 2020] 78A25 - Electromagnetic theory, general [MSC 2020] 81T13 - Yang-Mills and other gauge theories in quantum field theory [MSC 2020] 57M15 - Relations of low-dimensional topology with graph theory [MSC 2020] 55R10 - Fiber bundles in algebraic topology [MSC 2020] 53C05 - Connections, general theory [MSC 2020] 58A05 - Differentiable manifolds, foundations [MSC 2020] 93-XX - Systems theory; control [MSC 2020] 15Axx - Basic linear algebra [MSC 2020] 14D21 - Applications of vector bundles and moduli spaces in mathematical physics (twistor theory, instantons, quantum field theory) [MSC 2020] 11Cxx - Polynomials and matrices [MSC 2020] |
| Soggetto non controllato |
Algebraic Systems Theory
Control Engineering Cyber-Physical Systems Functional Models and Shift Spaces Graph theory Interconnected Dynamical Systems Linear Systems Matrix theory Network Science Synchronization |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113442 |
|
Fuhrmann, Paul A.
|
||
| [Cham], : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The mathematics of networks of linear systems / Paul A. Fuhrmann, Uwe Helmke
| The mathematics of networks of linear systems / Paul A. Fuhrmann, Uwe Helmke |
| Autore | Fuhrmann, Paul A. |
| Pubbl/distr/stampa | [Cham], : Springer, 2015 |
| Descrizione fisica | XIV, 662 p. : ill. ; 24 cm |
| Altri autori (Persone) | Helmke, Uwe |
| Soggetto topico |
11Cxx - Polynomials and matrices [MSC 2020]
11T71 Algebraic coding theory; cryptography [MSC 2020] 14D21 - Applications of vector bundles and moduli spaces in mathematical physics (twistor theory, instantons, quantum field theory) [MSC 2020] 15Axx - Basic linear algebra [MSC 2020] 37-XX - Dynamical systems and ergodic theory [MSC 2020] 47-XX - Operator theory [MSC 2020] 53C05 - Connections, general theory [MSC 2020] 55R10 - Fiber bundles in algebraic topology [MSC 2020] 57M15 - Relations of low-dimensional topology with graph theory [MSC 2020] 58A05 - Differentiable manifolds, foundations [MSC 2020] 78A25 - Electromagnetic theory, general [MSC 2020] 81T13 - Yang-Mills and other gauge theories in quantum field theory [MSC 2020] 93-XX - Systems theory; control [MSC 2020] 94-XX - Information and communication theory, circuits [MSC 2020] |
| Soggetto non controllato |
Algebraic Systems Theory
Control Engineering Cyber-Physical Systems Functional Models and Shift Spaces Graph theory Interconnected Dynamical Systems Linear Systems Matrix theory Network Science Synchronization |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113442 |
|
Fuhrmann, Paul A.
|
||
| [Cham], : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||