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.
Hybrid Systems: Computation and Control [[electronic resource] ] : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings / / edited by Claire J. Tomlin, Mark R. Greenstreet
| Hybrid Systems: Computation and Control [[electronic resource] ] : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings / / edited by Claire J. Tomlin, Mark R. Greenstreet |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XIII, 480 p.) |
| Disciplina | 004.1/9 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer engineering
Special purpose computers Microprocessors Software engineering Computer logic Computers Computer Engineering Special Purpose and Application-Based Systems Processor Architectures Software Engineering Logics and Meanings of Programs Computation by Abstract Devices |
| ISBN | 3-540-45873-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstracts of Invited Presentations -- Hybrid and Embedded Software Technologies for Production Large-Scale Systems -- Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints -- From Models to Code: The Missing Link in Embedded Software -- Papers -- Hybrid System Models of Navigation Strategies for Games and Animations -- Hybrid Control of a Truck and Trailer Vehicle -- Reachability Analysis of Hybrid Systems via Predicate Abstraction -- Towards Computing Phase Portraits of Polygonal Differential Inclusions -- Dynamical Qualitative Analysis of Evolutionary Systems -- Design of Observers for Hybrid Systems -- Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques -- On the Optimal Control Law for Linear Discrete Time Hybrid Systems -- A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies -- A Comparison of Control Problems for Timed and Hybrid Systems -- Hybrid Control Loops, A/D Maps, and Dynamic Specifications -- Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems -- Quantized Stabilization of Two-Input Linear Systems: A Lower Bound on the Minimal Quantization Density -- Analysis of Discrete-Time PWA Systems with Logic States -- Modeling and Control of Co-generation Power Plants: A Hybrid System Approach -- Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis -- Computation of Root-Mean-Square Gains of Switched Linear Systems -- Mode Estimation of Probabilistic Hybrid Systems -- Symmetry Reduction of a Class of Hybrid Systems -- Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems -- Qualitative Modeling and Heterogeneous Control of Global System Behavior -- An Approach to Model-Based Diagnosis of Hybrid Systems -- Information-Based Alpha-Beta Search and the Homicidal Chau.eur -- Synthesis of Robust Control Systems under Resource Constraints -- Optimal Control of Quantized Input Systems -- Reconfiguration in Hierarchical Control of Piecewise-Affine Systems -- Hybrid Kernels and Capture Basins for Impulse Constrained Systems -- Ordered Upwind Methods for Hybrid Control -- Discrete-Time Refinement of Hybrid Automata -- Control of Switched Hybrid Systems Based on Disjunctive Formulations -- Composing Abstractions of Hybrid Systems -- Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach -- Series of Abstractions for Hybrid Automata. |
| Record Nr. | UNINA-9910143913103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hybrid Systems: Computation and Control [[electronic resource] ] : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings / / edited by Claire J. Tomlin, Mark R. Greenstreet
| Hybrid Systems: Computation and Control [[electronic resource] ] : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings / / edited by Claire J. Tomlin, Mark R. Greenstreet |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XIII, 480 p.) |
| Disciplina | 004.1/9 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer engineering
Special purpose computers Microprocessors Software engineering Computer logic Computers Computer Engineering Special Purpose and Application-Based Systems Processor Architectures Software Engineering Logics and Meanings of Programs Computation by Abstract Devices |
| ISBN | 3-540-45873-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstracts of Invited Presentations -- Hybrid and Embedded Software Technologies for Production Large-Scale Systems -- Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints -- From Models to Code: The Missing Link in Embedded Software -- Papers -- Hybrid System Models of Navigation Strategies for Games and Animations -- Hybrid Control of a Truck and Trailer Vehicle -- Reachability Analysis of Hybrid Systems via Predicate Abstraction -- Towards Computing Phase Portraits of Polygonal Differential Inclusions -- Dynamical Qualitative Analysis of Evolutionary Systems -- Design of Observers for Hybrid Systems -- Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques -- On the Optimal Control Law for Linear Discrete Time Hybrid Systems -- A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies -- A Comparison of Control Problems for Timed and Hybrid Systems -- Hybrid Control Loops, A/D Maps, and Dynamic Specifications -- Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems -- Quantized Stabilization of Two-Input Linear Systems: A Lower Bound on the Minimal Quantization Density -- Analysis of Discrete-Time PWA Systems with Logic States -- Modeling and Control of Co-generation Power Plants: A Hybrid System Approach -- Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis -- Computation of Root-Mean-Square Gains of Switched Linear Systems -- Mode Estimation of Probabilistic Hybrid Systems -- Symmetry Reduction of a Class of Hybrid Systems -- Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems -- Qualitative Modeling and Heterogeneous Control of Global System Behavior -- An Approach to Model-Based Diagnosis of Hybrid Systems -- Information-Based Alpha-Beta Search and the Homicidal Chau.eur -- Synthesis of Robust Control Systems under Resource Constraints -- Optimal Control of Quantized Input Systems -- Reconfiguration in Hierarchical Control of Piecewise-Affine Systems -- Hybrid Kernels and Capture Basins for Impulse Constrained Systems -- Ordered Upwind Methods for Hybrid Control -- Discrete-Time Refinement of Hybrid Automata -- Control of Switched Hybrid Systems Based on Disjunctive Formulations -- Composing Abstractions of Hybrid Systems -- Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach -- Series of Abstractions for Hybrid Automata. |
| Record Nr. | UNISA-996465388703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Safe, Autonomous and Intelligent Vehicles [[electronic resource] /] / edited by Huafeng Yu, Xin Li, Richard M. Murray, S. Ramesh, Claire J. Tomlin
| Safe, Autonomous and Intelligent Vehicles [[electronic resource] /] / edited by Huafeng Yu, Xin Li, Richard M. Murray, S. Ramesh, Claire J. Tomlin |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (215 pages) |
| Disciplina | 388.312 |
| Collana | Unmanned System Technologies |
| Soggetto topico |
Electronic circuits
Signal processing Image processing Speech processing systems Microprocessors Circuits and Systems Signal, Image and Speech Processing Processor Architectures |
| ISBN | 3-319-97301-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Statistical Validation of In-Vehicle Machine Learning Systems -- Cyberattack-Resilient Hybrid Switching Controller Design with Application to Unmanned Aircraft System -- Control and Safety of Autonomous Vehicles with Learning-Enabled Components -- AdaStress: Adaptive Stress Testing and Interpretable Analysis of Safety-Critical Systems -- Provably-correct control synthesis for vehicle safety systems -- Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems -- Adaptation of Human Licensing Examinations to the Certification of Autonomous Systems -- Model-based Software Synthesis for Safety-critical Cyber-Physical Systems -- Compositional Verification for Autonomous Systems with Deep Learning Components -- Index. |
| Record Nr. | UNINA-9910337648203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||