Info
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 | ||
| ||
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [[electronic resource] /] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Non-Equilibrium Social Science and Policy [[electronic resource] ] : Introduction and Essays on New and Changing Paradigms in Socio-Economic Thinking / / edited by Jeffrey Johnson, Andrzej Nowak, Paul Ormerod, Bridget Rosewell, Yi-Cheng Zhang
| Non-Equilibrium Social Science and Policy [[electronic resource] ] : Introduction and Essays on New and Changing Paradigms in Socio-Economic Thinking / / edited by Jeffrey Johnson, Andrzej Nowak, Paul Ormerod, Bridget Rosewell, Yi-Cheng Zhang |
| Autore | Johnson Jeffrey |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Springer Nature, 2017 |
| Descrizione fisica | 1 online resource (VIII, 232 p.) |
| Disciplina | 621 |
| Collana | Understanding Complex Systems |
| Soggetto topico |
Sociophysics
Econophysics Social sciences Economic theory Operations research Decision making Computational complexity Social sciences—Data processing Social sciences—Computer programs Data-driven Science, Modeling and Theory Building Methodology of the Social Sciences Economic Theory/Quantitative Economics/Mathematical Methods Operations Research/Decision Theory Complexity Computational Social Sciences |
| Soggetto non controllato |
Data-driven Science, Modeling and Theory Building
Methodology of the Social Sciences Economic Theory/Quantitative Economics/Mathematical Methods Operations Research/Decision Theory Complexity Computational Social Sciences Complex Systems Biotechnology Quantitative Economics Operations Research and Decision Theory Applied Dynamical Systems Behavioral economics Complex socio-economic systems Econophysics and Social Dynamics Information economy and policy informatics Paradigm shift in economic thinking Social dynamics in policy Quantitative social sciences Social research & statistics Ecological science, the Biosphere Economic theory & philosophy Operational research Management decision making Cybernetics & systems theory Computer applications in the social & behavioural sciences |
| ISBN | 3-319-42424-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Non-Equilibrium Social Science & Policy -- Economics -- Social Psychology and Narrative Economy -- Sociology and Non-Equilibrium Social Science -- Geography far from Equilibrium -- Cities in Disequilibrium -- The Evolutionary Theory of Globalization -- Systems, Networks, and Policy -- Towards a Complexity-Friendly Policy: breaking the vicious circle of equilibrium thinking in economic and public policy -- The Information Economy -- Complexity Science & the Art of Policy Making -- The Complexity of Government -- The Room Around the Elephant: Tackling Context-Dependency in the Social Sciences -- Global Systems Science and Policy -- Index. . |
| Record Nr. | UNINA-9910166955503321 |
|
Johnson Jeffrey
|
||
| Springer Nature, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Security of Ubiquitous Computing Systems [[electronic resource] ] : Selected Topics / / edited by Gildas Avoine, Julio Hernandez-Castro
| Security of Ubiquitous Computing Systems [[electronic resource] ] : Selected Topics / / edited by Gildas Avoine, Julio Hernandez-Castro |
| Autore | Avoine Gildas |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (XVIII, 265 p. 25 illus., 8 illus. in color.) |
| Disciplina | 005.8 |
| Soggetto topico |
Computer security
Computer engineering Internet of things Embedded computer systems Computer software System safety Systems and Data Security Cyber-physical systems, IoT Professional Computing Security Science and Technology |
| Soggetto non controllato |
Systems and Data Security
Cyber-physical systems, IoT Professional Computing Security Science and Technology Data and Information Security Internet of Things Cryptology Cryptacus Security Ubiquitous Devices Lightweight Cryptography Symmetric Cryptography Side-Channel Analysis IoT Security Ubiquitous Computing Systems Open Access Computer security Network security Electrical engineering Cybernetics & systems theory Applied computing Security & fire alarm systems |
| ISBN | 3-030-10591-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Introduction -- Emerging Security Challenges for Ubiquitous Devices -- Part II: Lightweight Cryptographic Primitives -- Catalog and Illustrative Examples of Lightweight Cryptographic Primitives -- Selected Design and Analysis Techniques in Contemporary Symmetric Encryption -- An Account of the ISO/IEC Standardization of the Simon and Speck Block Cipher Families -- Part III: Authentication Protocols -- ePassport and eID Technologies -- Ultra-lightweight Authentication -- From Relay Attacks to Distance-Bounding Protocols -- Part IV: Hardware Implementation and Systems -- It Started With Templates: The Future of Profiling in Side-Channel Analysis -- Side Channel Attack Assessment Platforms and Tools for Ubiquitous Systems -- Challenges in Certifying Small-scale (IoT) Hardware Random Number Generators -- Finding Software Bugs in Embedded Devices -- Part V: Privacy and Forensics -- Privacy-Oriented Analysis of Ubiquitous Computing Systems: A 5-D Approach -- IoT Forensics. |
| Record Nr. | UNISA-996464447403316 |
|
Avoine Gildas
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Uncertainty in Mechanical Engineering : Proceedings of the 4th International Conference on Uncertainty in Mechanical Engineering (ICUME 2021), June 7-8 2021
| Uncertainty in Mechanical Engineering : Proceedings of the 4th International Conference on Uncertainty in Mechanical Engineering (ICUME 2021), June 7-8 2021 |
| Autore | Pelz Peter F |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (313 pages) |
| Altri autori (Persone) | GrochePeter |
| Collana | Lecture Notes in Mechanical Engineering |
| Soggetto topico |
Technical design
Statistical physics Cybernetics & systems theory Production engineering |
| Soggetto non controllato |
Engineering Design
Complex Systems Complexity Manufacturing, Machines, Tools, Processes Applied Dynamical Systems Machines, Tools, Processes Open Access Book Mastering Uncertainty by Digitalization Uncertainty in Manufacturing and Production Resilient Technical Systems Uncertainty Quantification Optimization Under Uncertainty Model Uncertainty Computer-Aided Design (CAD) Uncertain Operating Conditions Topology Optimization for Additive Manufacturing Predicting Vibroacoustic Behavior Uncertainty in Finite Element Models Imprecision in Data/Models Legal Uncertainty of Autonomous Systems Resilient Water Supply Systems Designing Technical Systems Collaborative Research Centre 805 SFB 805 Technical design Statistical physics Dynamics & statics Cybernetics & systems theory Production engineering |
| ISBN | 3-030-77256-X |
| Classificazione | SCI055000TEC009000TEC016020TEC020000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910482868203321 |
|
Pelz Peter F
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||