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.
HSCC '17 : proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week) : April 18-20, Pittsburgh, PA, USA / / sponsored by ACM SIGBED
| HSCC '17 : proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week) : April 18-20, Pittsburgh, PA, USA / / sponsored by ACM SIGBED |
| Pubbl/distr/stampa | New York : , : ACM, , 2017 |
| Descrizione fisica | 1 online resource (276 pages) |
| Disciplina | 004.19 |
| Soggetto topico |
Hybrid computers
Digital control systems Cooperating objects (Computer systems) |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Hybrid Systems: Computation and Control 2017
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control HSCC '17 : 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week) : Pittsburgh, PA, USA, April 18-20, 2017 |
| Record Nr. | UNINA-9910375772303321 |
| New York : , : ACM, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
HSCC '21 : Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control / / Sergiy Bogomolov, Raphaël Jungers
| HSCC '21 : Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control / / Sergiy Bogomolov, Raphaël Jungers |
| Autore | Bogomolov Sergiy |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2021 |
| Descrizione fisica | 1 online resource (300 pages) |
| Disciplina | 004.19 |
| Soggetto topico |
Hybrid computers
Hybrid systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Proceedings of the 24th International Conference on Hybrid Systems |
| Record Nr. | UNINA-9910510460903321 |
Bogomolov Sergiy
|
||
| New York, NY : , : Association for Computing Machinery, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
HSCC '22 : Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control / / Ezio Bartocci, Sylvie Putot
| HSCC '22 : Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control / / Ezio Bartocci, Sylvie Putot |
| Autore | Bartocci Ezio |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2022 |
| Descrizione fisica | 1 online resource (265 pages) |
| Disciplina | 004.19 |
| Soggetto topico |
Hybrid computers
Hybrid systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 25th ACM International Conference on Hybrid Systems
25th ACM International Conference on Hybrid Systems |
| Record Nr. | UNINA-9910566450603321 |
|
Bartocci Ezio
|
||
| New York, NY : , : Association for Computing Machinery, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
HSCC '23 : Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control / / Association for Computing Machinery
| HSCC '23 : Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control / / Association for Computing Machinery |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2023 |
| Descrizione fisica | 1 online resource (239 pages) |
| Disciplina | 004.19 |
| Soggetto topico |
Hybrid computers
Hybrid systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Proceedings of the 26th ACM International Conference on Hybrid Systems |
| Record Nr. | UNINA-9910725933603321 |
| New York, NY : , : Association for Computing Machinery, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hscc 13 Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control
| Hscc 13 Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control |
| Autore | Hscc 13 Conference Committee |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2013 |
| Descrizione fisica | 1 online resource (366 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Hybrid systems
Hybrid computers |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Proceedings of the 16th International Conference on Hybrid Systems : Computation and Control |
| Record Nr. | UNINA-9910375877303321 |
|
Hscc 13 Conference Committee
|
||
| [Place of publication not identified], : Association for Computing Machinery, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
HSCC'10 : proceedings of the 13th ACM International Conference on hybrid systems : computation and control : April 12-15, 2010, Stockholm, Sweden
| HSCC'10 : proceedings of the 13th ACM International Conference on hybrid systems : computation and control : April 12-15, 2010, Stockholm, Sweden |
| Autore | Johansson Karl Henrik |
| Pubbl/distr/stampa | [Place of publication not identified] : , : Association for Computing Machinery, , 2010 |
| Descrizione fisica | 1 online resource (308 pages) |
| Disciplina | 629.8 |
| Collana | ACM Conferences. |
| Soggetto topico |
Hybrid systems
Hybrid computers Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | HSCC '10 |
| Record Nr. | UNINA-9910376070003321 |
|
Johansson Karl Henrik
|
||
| [Place of publication not identified] : , : Association for Computing Machinery, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hybrid intelligent systems : 19th International Conference on Hybrid Intelligent Systems (HIS 2019) ; Bhopal, India, December 10-12, 2019 / / editors, Ajith Abraham [et al.]
| Hybrid intelligent systems : 19th International Conference on Hybrid Intelligent Systems (HIS 2019) ; Bhopal, India, December 10-12, 2019 / / editors, Ajith Abraham [et al.] |
| Edizione | [1st edition 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (470 pages) |
| Disciplina | 006.3 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Hybrid computers
Soft computing |
| ISBN | 3-030-49336-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dimension Reduction With Extraction Methods (Principal Component Analysis - Self Organizing Map - Isometric Mapping) In Indonesian Language Text Documents Clustering -- Reducing Data Volume in Instance Based Learning -- State estimation of moving vehicle using Extended Kalman filter: Acyber physical aspect -- Aspect Detection for Arabic Language -- Modelling, analysis and simulation of a patient admission problem: Asocial network approach -- Short-Term Load Forecasting: An Intelligent Approach based onRecurrent Neural Network -- Design and Analysis of Anti-windup Techniques for Anti-Lock Braking System -- Wind-power intra-day multi-step predictions using general PDE sum models of Polynomial networks based on Operational Calculus -- Heterogeneous Engineering in Intelligent Logistics -- Extracting Unknown Repeated Pattern in Tiled Images. |
| Record Nr. | UNINA-9910484606003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hybrid systems : computation and control : Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings / / Nancy A. Lynch, Bruce H. Krogh, (Eds.)
| Hybrid systems : computation and control : Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings / / Nancy A. Lynch, Bruce H. Krogh, (Eds.) |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2000] |
| Descrizione fisica | 1 online resource (XII, 465 p.) |
| Disciplina | 004.1/9 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Hybrid computers
Digital control systems |
| ISBN | 3-540-46430-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentations -- Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision -- Experiences in Designing and Using Formal Specification Languages for Embedded Control Software -- Model-Based Autonomous Systems for Robotic Space Exploration -- Models of Computation and Simulation of Hybrid Systems -- Selected Presentations -- Modular Specification of Hybrid Systems in Charon -- Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems -- Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine -- Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems -- Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications -- Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations -- Theory of Optimal Control Using Bisimulations -- Behavior Based Robotics Using Hybrid Automata -- Hybrid Controllers for Hierarchically Decomposed Systems -- Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods -- Robust Undecidability of Timed and Hybrid Systems -- Towards a Theory of Stochastic Hybrid Systems -- Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications -- A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System -- Ellipsoidal Techniques for Reachability Analysis -- Uniform Reachability Algorithms -- On the Existence of Solutions to Controlled Hybrid Automata -- Nonlinear Stabilization by Hybrid Quantized Feedback -- Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations -- Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical Systems -- Hybrid Systems Diagnosis -- Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata -- Level Set Methods for Computation in Hybrid Systems -- Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems -- Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode -- Hybrid Systems Verification by Location Elimination -- A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models -- Stability of Hybrid Systems Using LMIs — A Gear-Box Application -- Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties -- Decidable Controller Synthesis for Classes of Linear Systems -- Towards a Geometric Theory of Hybrid Systems -- Controlled Invariance of Discrete Time Systems -- Dynamical Systems Revisited: Hybrid Systems with Zeno Executions. |
| Record Nr. | UNINA-9910143634803321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2000] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hybrid systems : computation and control : Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings / / Nancy A. Lynch, Bruce H. Krogh, (Eds.)
| Hybrid systems : computation and control : Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings / / Nancy A. Lynch, Bruce H. Krogh, (Eds.) |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2000] |
| Descrizione fisica | 1 online resource (XII, 465 p.) |
| Disciplina | 004.1/9 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Hybrid computers
Digital control systems |
| ISBN | 3-540-46430-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentations -- Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision -- Experiences in Designing and Using Formal Specification Languages for Embedded Control Software -- Model-Based Autonomous Systems for Robotic Space Exploration -- Models of Computation and Simulation of Hybrid Systems -- Selected Presentations -- Modular Specification of Hybrid Systems in Charon -- Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems -- Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine -- Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems -- Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications -- Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations -- Theory of Optimal Control Using Bisimulations -- Behavior Based Robotics Using Hybrid Automata -- Hybrid Controllers for Hierarchically Decomposed Systems -- Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods -- Robust Undecidability of Timed and Hybrid Systems -- Towards a Theory of Stochastic Hybrid Systems -- Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications -- A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System -- Ellipsoidal Techniques for Reachability Analysis -- Uniform Reachability Algorithms -- On the Existence of Solutions to Controlled Hybrid Automata -- Nonlinear Stabilization by Hybrid Quantized Feedback -- Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations -- Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical Systems -- Hybrid Systems Diagnosis -- Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata -- Level Set Methods for Computation in Hybrid Systems -- Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems -- Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode -- Hybrid Systems Verification by Location Elimination -- A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models -- Stability of Hybrid Systems Using LMIs — A Gear-Box Application -- Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties -- Decidable Controller Synthesis for Classes of Linear Systems -- Towards a Geometric Theory of Hybrid Systems -- Controlled Invariance of Discrete Time Systems -- Dynamical Systems Revisited: Hybrid Systems with Zeno Executions. |
| Record Nr. | UNISA-996465616803316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2000] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Hybrid systems : computation and control : Second International Workshop, HSCC '99, Berg en Dal, The Netherlands, March 29-31, 1999 : proceedings / / Frits W. Vaandrager, Jan H. van Schuppen (editors)
| Hybrid systems : computation and control : Second International Workshop, HSCC '99, Berg en Dal, The Netherlands, March 29-31, 1999 : proceedings / / Frits W. Vaandrager, Jan H. van Schuppen (editors) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (CCXCII, 282 p.) |
| Disciplina | 004.19 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Hybrid computers |
| ISBN | 3-540-48983-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | SACRES: A Step Ahead in the Development of Critical Avionics Applications -- Approximating Hybrid System Dynamics for Analysis and Control -- High-Level Modeling and Analysis of an Air-Traffic Management System -- Geometric Categories, O-Minimal Structures and Control -- Polyhedral Flows in Hybrid Automata -- As Soon as Possible: Time Optimal Control for Timed Automata -- Verification of Hybrid Systems via Mathematical Programming -- Orthogonal Polyhedra: Representation and Computation -- A Geometric Approach to Bisimulation and Verification of Hybrid Systems -- Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations -- Path Planning and Flight Controller Scheduling for an Autonomous Helicopter -- Reachability Analysis Using Polygonal Projections -- Scale-Independent Hysteresis Switching -- Well-Posedness of a Class of Piecewise Linear Systems with No Jumps -- A New Class of Decidable Hybrid Systems -- Synthesis of Control Software in a Layered Architecture from Hybrid Automata -- An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages -- Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions -- Integration of Analog and Discrete Synchronous Design -- Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis -- Refinement and Continuous Behaviour -- Computing Controllers for Nonlinear Hybrid Systems -- Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design. |
| Record Nr. | UNINA-9910143468903321 |
| Berlin : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
