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.
ADAS and automated driving : a practical approach to verification and validation / / by Plato Pathrose
| ADAS and automated driving : a practical approach to verification and validation / / by Plato Pathrose |
| Autore | Pathrose Plato |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Warrendale, Pennsylvania : , : SAE International, , [2022] |
| Descrizione fisica | 1 online resource (1 PDF (xxi, 255 pages)) : illustrations ; ; cm |
| Disciplina | 629.2 |
| Soggetto topico |
Automated vehicles
Driver assistance systems TRANSPORTATION / Automotive / General TECHNOLOGY & ENGINEERING / Automation TECHNOLOGY & ENGINEERING / Automotive Road and motor vehicles: general interest Automatic control engineering Automotive technology and trades |
| ISBN |
9781523149544
152314954X 9781468604146 1468604147 9781468604139 1468604139 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foreword -- Introduction -- About this book -- Assumptions -- Acknowledgments -- Chapter 1: Introduction to advanced driver assistance systems and automated driving -- Chapter 2: Design approaches for automated driving systems -- Chapter 3: Different test approaches -- Chapter 4: Scenario-based testing -- Chapter 5: Simulation environment for ADAS and automated driving systems -- Chapter 6: Ground truth generation and testing neural network-based detection -- Chapter 7: Testing and qualification of perception software -- Chapter 8: Calibration of ADAS and automated driving features -- Chapter 9: Introduction to functional safety and cybersecurity testing -- Chapter 10: Verification and validation strategy Chapter 11: Acceptance criteria and maturity evaluation -- Chapter 12: Data flow and management in automated driving -- Chapter 13: Challenges and gaps in testing automated driving features -- Index -- About the author. |
| Altri titoli varianti | ADAS and Automated Driving |
| Record Nr. | UNINA-9911007247603321 |
Pathrose Plato
|
||
| Warrendale, Pennsylvania : , : SAE International, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automation and manufacturing for the built environment / / Steve Thompson
| Automation and manufacturing for the built environment / / Steve Thompson |
| Autore | Thompson Steve |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Leeds, England : , : Emerald Publishing Limited, , [2025] |
| Descrizione fisica | 1 online resource (289 pages) |
| Disciplina | 670.427 |
| Soggetto topico |
Built environment
Automation Production management Technology & Engineering - Automation Manufacturing industries Automatic control engineering |
| ISBN |
9781836085980
1836085982 9781836086000 1836086008 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Half Title Page -- Title Page -- Copyright Page -- Dedication Page -- Contents -- About the author -- Glossary -- Abbreviations -- Section 1: Setting the scene -- Chapter 1: Introduction -- 1.1. The challenge -- 1.2. The role of technology and manufacturing -- 1.3. The way forward -- References -- Chapter 2: The built environment -- 2.1. Introduction -- 2.2. The existing building stock -- 2.3. The need for flexibility -- 2.4. Moving forward -- References -- Chapter 3: The construction industry -- 3.1. What is the construction industry? -- 3.2. How is the industry structured? -- 3.3. How does the industry perform? -- 3.4. Process -- 3.5. Plan -- 3.6. People -- 3.7. Product -- 3.8. Plant -- 3.9. Moving forward -- References -- Chapter 4: Why automation and manufacturing-led construction? -- 4.1. Introduction -- 4.2. Manufacturing-led construction -- 4.3. Automation -- 4.4. Summary -- References -- Chapter 5: Learning from other industries -- 5.1. How does construction compare to other industries? -- 5.2. Challenges facing the construction industry -- 5.3. Systems engineering -- 5.4. The move to model-based systems engineering (MBSE) -- 5.5. A move to more agile delivery -- 5.6. Robotics and physical automation -- 5.7. Digitisation, digitalisation and digital transformation -- 5.7.1 Digitisation -- 5.7.2 Digitalisation -- 5.7.3 Digital transformation -- 5.8. Digital twins - merging the physical and virtual worlds -- 5.9. Virtual automation - artificial intelligence -- 5.10. Summary -- References -- Chapter 6: The modelling framework -- 6.1. The modelling framework -- 6.2. Vertical orientation -- 6.3. Horizontal orientation -- 6.4. Perpendicular orientation -- 6.5. Conclusion -- References -- Section 2: Enable -- Chapter 7: Enabling change and manufacturing‐led construction -- 7.1. Introduction -- 7.2. Business models and change management.
7.3. Define -- 7.4. Systemise -- 7.5. Automate -- 7.6. Optimise -- 7.7. Conclusion -- Chapter 8: No-regret decisions -- 8.1. Introduction -- 8.2. Enable -- 8.3. Define -- 8.4. Systemise -- 8.5. Automate -- 8.6. Optimise -- 8.7. Conclusion -- References -- Chapter 9: Connectivity -- 9.1. Introduction -- 9.2. Connectivity across disciplines, stages and sectors -- 9.3. Design connectivity -- 9.4. Integration connectivity -- 9.5. In use connectivity -- 9.6. Conclusion -- References -- Chapter 10: Product and service data -- 10.1. Introduction -- 10.2. The importance of product data -- 10.3. The Building Safety Act 2022, the golden thread and product data -- 10.4. Construction digital product and material passports -- 10.5. Mapping data sources and requirements through data models -- 10.6. Structuring product data -- 10.7. Manufacturing and supply chain data requirements -- 10.8. Product data requirements through delivery and asset operation -- 10.9. Data interoperability -- 10.10. Data security and integrity -- 10.11. Conclusion -- References -- Section 3: Define -- Chapter 11: Defining the need -- 11.1. Introduction -- 11.2. Outputs, outcomes, benefits and value -- 11.3. The Green Book and the Five Case Model -- 11.4. The Value Toolkit -- 11.5. National TOMs framework -- 11.6. Standardisation across interventions -- References -- Chapter 12: Requirements management -- 12.1. Introduction -- 12.2. Levels of definition -- 12.3. Project or product requirements -- 12.4. Writing requirements -- 12.4.1 Identification -- 12.4.2 Specification -- 12.4.3 Mapping -- 12.4.4 Validation -- 12.4.5 Tracking -- 12.4.6 Maintenance -- 12.5. Systems engineering -- 12.6. Quality function deployment (QFD) -- 12.7. Verification and validation of requirements -- 12.8. Requirements management software solutions -- 12.9. Conclusion -- References. Chapter 13: Product platforms -- 13.1. Introduction -- 13.2. Product platforms in the built environment -- 13.3. The platform rulebook -- 13.4. Summary -- References -- Section 4: Systemise -- Chapter 14: Premanufacturing and integration models -- 14.1. Introduction -- 14.2. Premanufactured value -- 14.3. Production methods -- 14.4. Types of integration -- 14.4.1 Vertical integration -- 14.4.2 Horizontal integration -- 14.4.3 Multidirectional integration -- 14.4.4 Life cycle integration -- 14.5. Summary -- References -- Section 5: Automate -- Chapter 15: Technology timeline -- 15.1. Introduction -- 15.2. 4 D modelling -- 15.3. Additive manufacturing -- 15.4. Advanced ground scans -- 15.5. Asset management software -- 15.6. Automated design -- 15.7. Blockchain -- 15.8. Building automation systems (BAS) -- 15.9. Computer vision -- 15.10. Connected autonomous plant (CAP) -- 15.11. Connectivity platforms -- 15.12. Design configurators -- 15.13. Digital handover software -- 15.14. Digital twins -- 15.15. Drone scans -- 15.16. Generative detailed design -- 15.17. Generative form-finding design -- 15.18. IoT sensors -- 15.19. Laser scans -- 15.20. Leak detection systems -- 15.21. Location systems -- 15.22. Logistics and supply chain software -- 15.23. Low-code platforms -- 15.24. Machine learning (ML) -- 15.25. Natural language processing (NLP) -- 15.26. Physical robots -- 15.27. Predictive analytics -- 15.28. Procurement software -- 15.29. Programme optimisation -- 15.30. Robotic process automation (RPA) -- 15.31. Route optimisation -- 15.32. Safety software -- 15.33. Site communication -- 15.34. Site management and reporting software -- 15.35. Smart contracts -- 15.36. Supply chain digital twins (SCDTs) -- 15.37. Waste management software -- 15.38. Workforce management software -- 15.39. Technology timeline. Chapter 16: Business casing construction delivery -- 16.1. Introduction -- 16.2. Business cases for project delivery -- 16.3. Business cases within the supply chain -- 16.4. Business cases and manufacturing-led construction -- 16.5. Analogue or digital business case processes -- 16.6. Conclusion -- Reference -- Chapter 17: Design automation and manufacturing automation -- 17.1. Introduction -- 17.2. Early-stage design development -- 17.3. Design development -- 17.4. Design to manufacturing -- 17.5. Model quality and checking -- 17.6. Technology relevance summary -- References -- Chapter 18: Supply chain management and procurement automation -- 18.1. Introduction -- 18.2. Procuring for value -- 18.3. Procuring for manufacturing-led construction -- 18.4. Automating procurement -- 18.4.1 Onboarding -- 18.4.2 Define -- 18.4.3 Procure -- 18.4.4 Deliver -- 18.4.5 Verify -- 18.4.6 Pay -- 18.5. Benchmarking and cost modelling -- 18.5.1 Benchmarking -- 18.5.2 Should cost models (SCMs) -- 18.5.3 Cost modelling -- 18.6. Supply chain management -- 18.7. Technology relevance summary -- References -- Chapter 19: Integration automation -- 19.1. Introduction -- 19.2. Observing the environment -- 19.3. Programme automation and 4D modelling -- 19.4. Connected autonomous plant (CAP) -- 19.5. Robotics -- 19.6. Temporary site-based factories -- 19.7. Workforce management and communication -- 19.8. Material and performance management -- 19.9. Progress tracking, verification and reporting -- 19.10. Technology relevance summary -- References -- Chapter 20: In-use automation -- 20.1. Introduction -- 20.2. Scanning the built environment -- 20.3. Monitoring the built environment -- 20.3.1 Condition monitoring -- 20.3.2 Performance and use monitoring -- 20.4. Sensors and other smart measurement technologies -- 20.5. Active control and management. 20.6. Technology relevance summary -- References -- Section 6: Optimise -- Chapter 21: Circularity enablement -- 21.1. Introduction -- 21.2. Use less -- 21.3. Use for longer -- 21.3.1 Reconfiguration -- 21.3.2 Performance updates -- 21.3.3 Service life planning -- 21.4. Reuse -- 21.4.1 Design for disassembly -- 21.4.2 Re-entering the supply chain -- 21.5. Information management -- 21.6. Conclusion -- References -- Chapter 22: The future of work -- 22.1. Introduction -- 22.2. Future of work assessment -- 22.3. Occupational automation examples -- 22.3.1 Architects -- 22.3.2 Civil engineers -- 22.3.3 Brick layers -- 22.4. The impact of automation on wellbeing -- 22.5. Conclusion -- References -- Chapter 23: An automated construction industry: 2035 scenarios -- 23.1. Introduction -- 23.2. Scenario 1 -- 23.3. Scenario 2 -- 23.4. Scenario 3 -- 23.5. Summary -- References -- Chapter 24: Conclusion -- 24.1. Introduction -- References -- Appendix - Assessing the impact of automation -- Index. |
| Record Nr. | UNINA-9911048824503321 |
|
Thompson Steve
|
||
| Leeds, England : , : Emerald Publishing Limited, , [2025] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Design of linear multivariable feedback control systems : the Wiener-Hopf approach using transforms and spectral factorization / / Joseph J. Bongiorno Jr., Kiheon Park
| Design of linear multivariable feedback control systems : the Wiener-Hopf approach using transforms and spectral factorization / / Joseph J. Bongiorno Jr., Kiheon Park |
| Autore | Bongiorno Jr Joseph J |
| Edizione | [1st edition 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xi, 453 pages) : illustrations |
| Disciplina | 629.83 |
| Soggetto topico |
Automatic control
System theory Automatic control engineering |
| ISBN | 3-030-44356-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Stabilizing Controllers, Tracking, and Disturbance Rejection -- Chapter 3. H2 Design of Multivariable Control Systems -- Chapter 4. H2 Design of Multivariable Control Systems with Decoupling -- Chapter 5. Numerical Calculation of Wiener-Hopf Controllers. |
| Record Nr. | UNINA-9910483837203321 |
|
Bongiorno Jr Joseph J
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamentals of connected and automated vehicles / / by Jeffrey Wishart and Yan Chen, Steven Como, Narayanan Kidambi, Duo Lu and Yezhou Yang
| Fundamentals of connected and automated vehicles / / by Jeffrey Wishart and Yan Chen, Steven Como, Narayanan Kidambi, Duo Lu and Yezhou Yang |
| Autore | Wishart Jeffrey |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Warrendale, Pennsylvania : , : SAE International, , [2022] |
| Descrizione fisica | 1 online resource (1 PDF (xiii, 257 pages)) : illustrations |
| Disciplina | 629.046 |
| Soggetto topico |
Automated vehicles
Automated vehicles - Technological innovations Deep learning (Machine learning) Multisensor data fusion TECHNOLOGY & ENGINEERING / Automation TRANSPORTATION / Automotive / General TECHNOLOGY & ENGINEERING / Automotive COMPUTERS / Artificial Intelligence / General Automatic control engineering Road and motor vehicles: general interest Automotive technology and trades Artificial intelligence |
| ISBN |
9781523149483
1523149485 9780768099829 076809982X 9780768099843 0768099846 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction and history of connected and automated vehicles -- Chapter 2. Localization -- Chapter 3. Connectivity -- Chapter 4. Sensor and actuator hardware -- Chapter 5. Computer vision -- Chapter 6. Sensor fusion -- Chapter 7. Path planning and motion control -- Chapter 8. Verification and validation -- Chapter 9. Outlook. |
| Record Nr. | UNINA-9911007131603321 |
|
Wishart Jeffrey
|
||
| Warrendale, Pennsylvania : , : SAE International, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamentals of engineering high-performance actuator systems / / by Kenneth W. Hummel
| Fundamentals of engineering high-performance actuator systems / / by Kenneth W. Hummel |
| Autore | Hummel Kenneth W. |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Warrendale, Penn. : , : Society of Automotive Engineers, , [2017] |
| Descrizione fisica | 1 online resource (ix, 214 pages) : illustrations |
| Disciplina | 629.8 |
| Collana | Society of Automotive Engineers. Electronic publications |
| Soggetto topico |
Actuators
Automatic control TECHNOLOGY & ENGINEERING / Automation Automatic control engineering |
| ISBN |
0-7680-8866-6
0-7680-8363-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Project management -- Chapter 3. Requirements analysis -- Chapter 4. Design to requirements -- Chapter 5. Power sources --Chapter 6. Prototyping -- Chapter 7. Verification and validation -- Chapter 8. Production -- Bibliography -- Appendix A: Hydraulic symbols -- Training supplement - problems by chapter -- About the author -- Index. |
| Record Nr. | UNINA-9910886187803321 |
|
Hummel Kenneth W.
|
||
| Warrendale, Penn. : , : Society of Automotive Engineers, , [2017] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nonlinear system identification : from classical approaches to neural networks, fuzzy models, and Gaussian processes / / Oliver Nelles
| Nonlinear system identification : from classical approaches to neural networks, fuzzy models, and Gaussian processes / / Oliver Nelles |
| Autore | Nelles Oliver <1969-> |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XXVIII, 1225 p. 670 illus., 179 illus. in color.) |
| Disciplina | 003 |
| Soggetto topico |
System identification
Nonlinear systems Automatic control engineering |
| ISBN | 3-030-47439-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Part One Optimization -- Introduction to Optimization -- Linear Optimization -- Nonlinear Local Optimization -- Nonlinear Global Optimization -- Unsupervised Learning Techniques -- Model Complexity Optimization -- Summary of Part 1 -- Part Two Static Models -- Introduction to Static Models -- Linear, Polynomial, and Look-Up Table Models -- Neural Networks -- Fuzzy and Neuro-Fuzzy Models -- Local Linear Neuro-Fuzzy Models: Fundamentals -- Local Linear Neuro-Fuzzy Models: Advanced Aspects -- Input Selection for Local Model Approaches -- Gaussian Process Models (GPMs) -- Summary of Part Two -- Part Three Dynamic Models -- Linear Dynamic System Identification -- Nonlinear Dynamic System Identification -- Classical Polynomial Approaches.-Dynamic Neural and Fuzzy Models -- Dynamic Local Linear Neuro-Fuzzy Models -- Neural Networks with Internal Dynamics -- Part Five Applications -- Applications of Static Models -- Applications of Dynamic Models -- Design of Experiments -- Input Selection Applications -- Applications of Advanced Methods -- LMN Toolbox -- Vectors and Matrices -- Statistics -- Reference -- Index. |
| Record Nr. | UNINA-9910427687103321 |
|
Nelles Oliver <1969->
|
||
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nonlinear system identification : from classical approaches to neural networks, fuzzy models, and Gaussian processes / / Oliver Nelles
| Nonlinear system identification : from classical approaches to neural networks, fuzzy models, and Gaussian processes / / Oliver Nelles |
| Autore | Nelles Oliver <1969-> |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XXVIII, 1225 p. 670 illus., 179 illus. in color.) |
| Disciplina | 003 |
| Soggetto topico |
System identification
Nonlinear systems Automatic control engineering |
| ISBN | 3-030-47439-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Part One Optimization -- Introduction to Optimization -- Linear Optimization -- Nonlinear Local Optimization -- Nonlinear Global Optimization -- Unsupervised Learning Techniques -- Model Complexity Optimization -- Summary of Part 1 -- Part Two Static Models -- Introduction to Static Models -- Linear, Polynomial, and Look-Up Table Models -- Neural Networks -- Fuzzy and Neuro-Fuzzy Models -- Local Linear Neuro-Fuzzy Models: Fundamentals -- Local Linear Neuro-Fuzzy Models: Advanced Aspects -- Input Selection for Local Model Approaches -- Gaussian Process Models (GPMs) -- Summary of Part Two -- Part Three Dynamic Models -- Linear Dynamic System Identification -- Nonlinear Dynamic System Identification -- Classical Polynomial Approaches.-Dynamic Neural and Fuzzy Models -- Dynamic Local Linear Neuro-Fuzzy Models -- Neural Networks with Internal Dynamics -- Part Five Applications -- Applications of Static Models -- Applications of Dynamic Models -- Design of Experiments -- Input Selection Applications -- Applications of Advanced Methods -- LMN Toolbox -- Vectors and Matrices -- Statistics -- Reference -- Index. |
| Record Nr. | UNISA-996418438803316 |
|
Nelles Oliver <1969->
|
||
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Regularized System Identification : Learning Dynamic Models from Data
| Regularized System Identification : Learning Dynamic Models from Data |
| Autore | Pillonetto Gianluigi |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (394 p.) |
| Altri autori (Persone) |
ChenTianshi
ChiusoAlessandro De NicolaoGiuseppe LjungLennart |
| Collana | Communications and Control Engineering |
| Soggetto topico |
Machine learning
Automatic control engineering Statistical physics Bayesian inference Probability & statistics Cybernetics & systems theory |
| Soggetto non controllato |
System Identification
Machine Learning Linear Dynamical Systems Nonlinear Dynamical Systems Kernel-based Regularization Bayesian Interpretation of Regularization Gaussian Processes Reproducing Kernel Hilbert Spaces Estimation Theory Support Vector Machines Regularization Networks |
| ISBN | 3-030-95860-4 |
| Classificazione | COM004000MAT029000MAT029010SCI055000SCI064000TEC004000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Acknowledgements -- Contents -- Abbreviations and Notation -- Notation -- Abbreviations -- 1 Bias -- 1.1 The Stein Effect -- 1.1.1 The James-Stein Estimator -- 1.1.2 Extensions of the James-Stein Estimator -- 1.2 Ridge Regression -- 1.3 Further Topics and Advanced Reading -- 1.4 Appendix: Proof of Theorem 1.1 -- References -- 2 Classical System Identification -- 2.1 The State-of-the-Art Identification Setup -- 2.2 mathcalM: Model Structures -- 2.2.1 Linear Time-Invariant Models -- 2.2.2 Nonlinear Models -- 2.3 mathcalI: Identification Methods-Criteria -- 2.3.1 A Maximum Likelihood (ML) View -- 2.4 Asymptotic Properties of the Estimated Models -- 2.4.1 Bias and Variance -- 2.4.2 Properties of the PEM Estimate as Ntoinfty -- 2.4.3 Trade-Off Between Bias and Variance -- 2.5 X: Experiment Design -- 2.6 mathcalV: Model Validation -- 2.6.1 Falsifying Models: Residual Analysis -- 2.6.2 Comparing Different Models -- 2.6.3 Cross-Validation -- References -- 3 Regularization of Linear Regression Models -- 3.1 Linear Regression -- 3.2 The Least Squares Method -- 3.2.1 Fundamentals of the Least Squares Method -- 3.2.2 Mean Squared Error and Model Order Selection -- 3.3 Ill-Conditioning -- 3.3.1 Ill-Conditioned Least Squares Problems -- 3.3.2 Ill-Conditioning in System Identification -- 3.4 Regularized Least Squares with Quadratic Penalties -- 3.4.1 Making an Ill-Conditioned LS Problem Well Conditioned -- 3.4.2 Equivalent Degrees of Freedom -- 3.5 Regularization Tuning for Quadratic Penalties -- 3.5.1 Mean Squared Error and Expected Validation Error -- 3.5.2 Efficient Sample Reuse -- 3.5.3 Expected In-Sample Validation Error -- 3.6 Regularized Least Squares with Other Types of Regularizers -- 3.6.1 ell1-Norm Regularization -- 3.6.2 Nuclear Norm Regularization -- 3.7 Further Topics and Advanced Reading -- 3.8 Appendix.
3.8.1 Fundamentals of Linear Algebra -- 3.8.2 Proof of Lemma 3.1 -- 3.8.3 Derivation of Predicted Residual Error Sum of Squares (PRESS) -- 3.8.4 Proof of Theorem 3.7 -- 3.8.5 A Variant of the Expected In-Sample Validation Error and Its Unbiased Estimator -- References -- 4 Bayesian Interpretation of Regularization -- 4.1 Preliminaries -- 4.2 Incorporating Prior Knowledge via Bayesian Estimation -- 4.2.1 Multivariate Gaussian Variables -- 4.2.2 The Gaussian Case -- 4.2.3 The Linear Gaussian Model -- 4.2.4 Hierarchical Bayes: Hyperparameters -- 4.3 Bayesian Interpretation of the James-Stein Estimator -- 4.4 Full and Empirical Bayes Approaches -- 4.5 Improper Priors and the Bias Space -- 4.6 Maximum Entropy Priors -- 4.7 Model Approximation via Optimal Projection -- 4.8 Equivalent Degrees of Freedom -- 4.9 Bayesian Function Reconstruction -- 4.10 Markov Chain Monte Carlo Estimation -- 4.11 Model Selection Using Bayes Factors -- 4.12 Further Topics and Advanced Reading -- 4.13 Appendix -- 4.13.1 Proof of Theorem 4.1 -- 4.13.2 Proof of Theorem 4.2 -- 4.13.3 Proof of Lemma 4.1 -- 4.13.4 Proof of Theorem 4.3 -- 4.13.5 Proof of Theorem 4.6 -- 4.13.6 Proof of Proposition 4.3 -- 4.13.7 Proof of Theorem 4.8 -- References -- 5 Regularization for Linear System Identification -- 5.1 Preliminaries -- 5.2 MSE and Regularization -- 5.3 Optimal Regularization for FIR Models -- 5.4 Bayesian Formulation and BIBO Stability -- 5.5 Smoothness and Contractivity: Time- and Frequency-Domain Interpretations -- 5.5.1 Maximum Entropy Priors for Smoothness and Stability: From Splines to Dynamical Systems -- 5.6 Regularization and Basis Expansion -- 5.7 Hankel Nuclear Norm Regularization -- 5.8 Historical Overview -- 5.8.1 The Distributed Lag Estimator: Prior Means and Smoothing -- 5.8.2 Frequency-Domain Smoothing and Stability. 5.8.3 Exponential Stability and Stochastic Embedding -- 5.9 Further Topics and Advanced Reading -- 5.10 Appendix -- 5.10.1 Optimal Kernel -- 5.10.2 Proof of Lemma 5.1 -- 5.10.3 Proof of Theorem 5.5 -- 5.10.4 Proof of Corollary 5.1 -- 5.10.5 Proof of Lemma 5.2 -- 5.10.6 Proof of Theorem 5.6 -- 5.10.7 Proof of Lemma 5.5 -- 5.10.8 Forward Representations of Stable-Splines Kernels -- References -- 6 Regularization in Reproducing Kernel Hilbert Spaces -- 6.1 Preliminaries -- 6.2 Reproducing Kernel Hilbert Spaces -- 6.2.1 Reproducing Kernel Hilbert Spaces Induced by Operations on Kernels -- 6.3 Spectral Representations of Reproducing Kernel Hilbert Spaces -- 6.3.1 More General Spectral Representation -- 6.4 Kernel-Based Regularized Estimation -- 6.4.1 Regularization in Reproducing Kernel Hilbert Spaces and the Representer Theorem -- 6.4.2 Representer Theorem Using Linear and Bounded Functionals -- 6.5 Regularization Networks and Support Vector Machines -- 6.5.1 Regularization Networks -- 6.5.2 Robust Regression via Huber Loss -- 6.5.3 Support Vector Regression -- 6.5.4 Support Vector Classification -- 6.6 Kernels Examples -- 6.6.1 Linear Kernels, Regularized Linear Regression and System Identification -- 6.6.2 Kernels Given by a Finite Number of Basis Functions -- 6.6.3 Feature Map and Feature Space -- 6.6.4 Polynomial Kernels -- 6.6.5 Translation Invariant and Radial Basis Kernels -- 6.6.6 Spline Kernels -- 6.6.7 The Bias Space and the Spline Estimator -- 6.7 Asymptotic Properties -- 6.7.1 The Regression Function/Optimal Predictor -- 6.7.2 Regularization Networks: Statistical Consistency -- 6.7.3 Connection with Statistical Learning Theory -- 6.8 Further Topics and Advanced Reading -- 6.9 Appendix -- 6.9.1 Fundamentals of Functional Analysis -- 6.9.2 Proof of Theorem 6.1 -- 6.9.3 Proof of Theorem 6.10 -- 6.9.4 Proof of Theorem 6.13. 6.9.5 Proofs of Theorems 6.15 and 6.16 -- 6.9.6 Proof of Theorem 6.21 -- References -- 7 Regularization in Reproducing Kernel Hilbert Spaces for Linear System Identification -- 7.1 Regularized Linear System Identification in Reproducing Kernel Hilbert Spaces -- 7.1.1 Discrete-Time Case -- 7.1.2 Continuous-Time Case -- 7.1.3 More General Use of the Representer Theorem for Linear System Identification -- 7.1.4 Connection with Bayesian Estimation of Gaussian Processes -- 7.1.5 A Numerical Example -- 7.2 Kernel Tuning -- 7.2.1 Marginal Likelihood Maximization -- 7.2.2 Stein's Unbiased Risk Estimator -- 7.2.3 Generalized Cross-Validation -- 7.3 Theory of Stable Reproducing Kernel Hilbert Spaces -- 7.3.1 Kernel Stability: Necessary and Sufficient Conditions -- 7.3.2 Inclusions of Reproducing Kernel Hilbert Spaces in More General Lebesque Spaces -- 7.4 Further Insights into Stable Reproducing Kernel Hilbert Spaces -- 7.4.1 Inclusions Between Notable Kernel Classes -- 7.4.2 Spectral Decomposition of Stable Kernels -- 7.4.3 Mercer Representations of Stable Reproducing Kernel Hilbert Spaces and of Regularized Estimators -- 7.4.4 Necessary and Sufficient Stability Condition Using Kernel Eigenvectors and Eigenvalues -- 7.5 Minimax Properties of the Stable Spline Estimator -- 7.5.1 Data Generator and Minimax Optimality -- 7.5.2 Stable Spline Estimator -- 7.5.3 Bounds on the Estimation Error and Minimax Properties -- 7.6 Further Topics and Advanced Reading -- 7.7 Appendix -- 7.7.1 Derivation of the First-Order Stable Spline Norm -- 7.7.2 Proof of Proposition 7.1 -- 7.7.3 Proof of Theorem 7.5 -- 7.7.4 Proof of Theorem 7.7 -- 7.7.5 Proof of Theorem 7.9 -- References -- 8 Regularization for Nonlinear System Identification -- 8.1 Nonlinear System Identification -- 8.2 Kernel-Based Nonlinear System Identification. 8.2.1 Connection with Bayesian Estimation of Gaussian Random Fields -- 8.2.2 Kernel Tuning -- 8.3 Kernels for Nonlinear System Identification -- 8.3.1 A Numerical Example -- 8.3.2 Limitations of the Gaussian and Polynomial Kernel -- 8.3.3 Nonlinear Stable Spline Kernel -- 8.3.4 Numerical Example Revisited: Use of the Nonlinear Stable Spline Kernel -- 8.4 Explicit Regularization of Volterra Models -- 8.5 Other Examples of Regularization in Nonlinear System Identification -- 8.5.1 Neural Networks and Deep Learning Models -- 8.5.2 Static Nonlinearities and Gaussian Process (GP) -- 8.5.3 Block-Oriented Models -- 8.5.4 Hybrid Models -- 8.5.5 Sparsity and Variable Selection -- References -- 9 Numerical Experiments and Real World Cases -- 9.1 Identification of Discrete-Time Output Error Models -- 9.1.1 Monte Carlo Studies with a Fixed Output Error Model -- 9.1.2 Monte Carlo Studies with Different Output Error Models -- 9.1.3 Real Data: A Robot Arm -- 9.1.4 Real Data: A Hairdryer -- 9.2 Identification of ARMAX Models -- 9.2.1 Monte Carlo Experiment -- 9.2.2 Real Data: Temperature Prediction -- 9.3 Multi-task Learning and Population Approaches -- 9.3.1 Kernel-Based Multi-task Learning -- 9.3.2 Numerical Example: Real Pharmacokinetic Data -- References -- Appendix Index -- Index. |
| Record Nr. | UNINA-9910568256103321 |
|
Pillonetto Gianluigi
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Special Topics in Information Technology
| Special Topics in Information Technology |
| Autore | Geraci Angelo |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (150 pages) |
| Collana | SpringerBriefs in Applied Sciences and Technology |
| Soggetto topico |
Communications engineering / telecommunications
Automatic control engineering Algorithms & data structures |
| Soggetto non controllato |
Communications Engineering, Networks
Control and Systems Theory Data Structures and Information Theory Information Technology PhD Springer Award Politecnico DEIB Polimi PhD School artificial intelligence computer system architectures Telecommunications Open access Communications engineering / telecommunications Automatic control engineering Algorithms & data structures Information theory |
| ISBN | 3-030-62476-5 |
| Classificazione | COM031000TEC004000TEC041000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- Part ITelecommunications -- 1 Machine-Learning Defined Networking: Towards Intelligent Networks -- 1.1 Introduction -- 1.2 Network Traffic Prediction -- 1.3 Network Traffic Pattern Identification -- 1.4 Reinforcement Learning for Adaptive Network Resource Allocation -- 1.5 Implementation of Machine Learning in Real SDN/NFV Testbeds -- 1.6 Concluding Remarks -- References -- 2 Traffic Management in Networks with Programmable Data Planes -- 2.1 Software-Defined Networks (SDN) -- 2.2 Control Plane Programmability -- 2.2.1 Traffic Engineering Framework -- 2.2.2 ONOS Intent Monitor and Reroute Service -- 2.3 Data Plane Programmability -- 2.3.1 Network Failures -- 2.3.2 Network Congestion -- 2.4 Conclusions -- References -- Part IIElectronics -- 3 Frequency Synthesizers Based on Fast-Locking Bang-Bang PLL for Cellular Applications -- 3.1 Introduction -- 3.2 Digital PLL: Output Phase Noise and Locking Transient -- 3.3 Multi-loop Architecture for Fast Locking Transient -- 3.4 Measurement results -- 3.5 Conclusions -- References -- 4 Inductorless Frequency Synthesizers for Low-Cost Wireless -- 4.1 Introduction -- 4.2 Fractional-N MDLLs -- 4.3 Jitter-Power Tradeoff Analysis -- 4.4 DTC Range-Reduction Technique -- 4.5 Implemented Architecture -- 4.6 Measurement Results -- 4.7 Conclusion -- References -- 5 Characterization and Modeling of Spin-Transfer Torque (STT) Magnetic Memory for Computing Applications -- 5.1 Introduction -- 5.2 Spin-Transfer Torque Magnetic Memory (STT-MRAM) -- 5.3 Understanding Dielectric Breakdown-Limited Cycling Endurance -- 5.4 Modeling Stochastic Switching in STT-MRAM -- 5.5 Stochastic STT Switching for Security and Computing -- 5.6 Conclusions -- References -- 6 One Step in-Memory Solution of Inverse Algebraic Problems -- 6.1 Introduction -- 6.2 In Memory Computing.
6.3 In-Memory Matrix-Vector-Multiplication Accelerator -- 6.4 One Step in-Memory Solution of Inverse Algebraic Problems -- 6.4.1 In-Memory Solution of Linear Systems in One-Step -- 6.4.2 In-Memory Eigenvectors Calculation in One-Step -- 6.4.3 In-Memory Regression and Classification in One-Step -- 6.5 Conclusions -- References -- 7 Development of a 3'' LaBr3 SiPM-Based Detection Module for High Resolution Gamma Ray Spectroscopy and Imaging -- 7.1 Introduction -- 7.2 Development -- References -- Part IIIComputer Science and Engineering -- 8 Velocity on the Web -- 8.1 Introduction -- 8.2 Background -- 8.3 Problem Statement -- 8.4 Major Results -- 8.5 Conclusion -- References -- 9 Preplay Communication in Multi-Player Sequential Games: An Overview of Recent Results -- 9.1 Introduction -- 9.1.1 Motivating Example -- 9.1.2 Sequential Games with Imperfect Information -- 9.1.3 Preplay Communication -- 9.2 Adversarial Team Games -- 9.3 Correlated Equilibria in Sequential Games -- 9.4 Bayesian Persuasion with Sequential Games -- 9.5 Discussion and Future Research -- References -- Part IVSystems and Control -- 10 Leadership Games: Multiple Followers, Multiple Leaders, and Perfection -- 10.1 Introduction -- 10.2 The Stackelberg Paradigm -- 10.3 Stackelberg Games with Multiple Followers -- 10.3.1 Norma-Form Stackelberg Games -- 10.3.2 Stackelberg Polymatrix Games -- 10.3.3 Stackelberg Congestion Games -- 10.4 Stackelberg Games with Multiple Leaders -- 10.5 Trembling-Hand Perfection in Stackelberg Games -- References -- 11 Advancing Joint Design and Operation of Water Resources Systems Under Uncertainty -- 11.1 Introduction -- 11.1.1 Research Challenges -- 11.2 Reinforcement Learning for Designing Water Reservoirs -- 11.2.1 pFQI Algorithm -- 11.2.2 Comparison with Traditional Least Cost Dam Design -- 11.3 A Novel Robust Assessment Framework. 11.3.1 Methodological Approach -- 11.3.2 Assessing Robustness of Alternatives for Changing Demands and Hydrology -- 11.4 Conclusions -- References -- 12 Optimization-Based Control of Microgrids for Ancillary Services Provision and Islanded Operation -- 12.1 Introduction -- 12.2 Microgrids Aggregators Providing Ancillary Services -- 12.2.1 Offline Economic Dispatch and Power Reserve Procurement -- 12.2.2 Online External Provision of Ancillary Services -- 12.2.3 Real-Time Self-balancing of Internal Power Uncertainties -- 12.3 Hierarchical Model Predictive Control Architectures for Islanded Microgrids -- 12.4 Conclusions -- References -- 13 Allowing a Real Collaboration Between Humans and Robots -- 13.1 Introduction -- 13.2 Recognizing the Human Actions -- 13.3 Predicting the Human Actions -- 13.4 Assistive Scheduling -- 13.5 Results -- 13.6 Conclusions -- References. |
| Record Nr. | UNINA-9910473458303321 |
|
Geraci Angelo
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
