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

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

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