Generalized Principal Component Analysis [[electronic resource] /] / by René Vidal, Yi Ma, Shankar Sastry |
Autore | Vidal René |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXXII, 566 p. 121 illus., 83 illus. in color.) |
Disciplina | 519.5354 |
Collana | Interdisciplinary Applied Mathematics |
Soggetto topico |
System theory
Optical data processing Signal processing Image processing Speech processing systems Statistics Algebraic geometry Systems Theory, Control Image Processing and Computer Vision Signal, Image and Speech Processing Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences Algebraic Geometry |
ISBN | 0-387-87811-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Acknowledgments -- Glossary of Notation -- Introduction -- I Modeling Data with Single Subspace -- Principal Component Analysis -- Robust Principal Component Analysis -- Nonlinear and Nonparametric Extensions -- II Modeling Data with Multiple Subspaces -- Algebraic-Geometric Methods -- Statistical Methods -- Spectral Methods -- Sparse and Low-Rank Methods -- III Applications -- Image Representation -- Image Segmentation -- Motion Segmentation -- Hybrid System Identification -- Final Words -- Appendices -- References -- Index. |
Record Nr. | UNINA-9910254071003321 |
Vidal René
![]() |
||
New York, NY : , : Springer New York : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Hicons 13 Proceedings of the 2nd International Conference on High Confidence Networked Systems |
Autore | Hicons 13 Conference Committee |
Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2013 |
Descrizione fisica | 1 online resource (144 pages) |
Collana | ACM Conferences |
Soggetto topico |
Computer networks - Security measures
Computer security Adaptive computing systems |
ISBN | 1-4503-1961-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mechanism design for robust resource management to false report in cloud computing systems / Yusuke Aoki [and others] -- An inverse correlated equilibrium framework for utility learning in multiplayer, noncooperative settings / Aaron Bestick [and others] -- Future cars : necessity for an adaptive and distributed multiple independent levels of security architecture / Alexander Camek [and others] -- A framework for privacy and security analysis of probe-based traffic information systems / Edward S. Canepa [and others] -- Bio-inspired strategy for control of viral spreading in networks / Chinwendu Enyioha [and others] -- Using channel state feedback to achieve resilience to deep fades in wireless networked control systems / Bin Hu [and others] -- Privacy-preserving release of aggregate dynamic models / Jerome Le Ny, George J. Pappas -- Algorithms for determining network robustness / Heath J. LeBlanc, Xenofon Koutsoukos -- S3A : secure system simplex architecture for enhanced security and robustness of cyber-physical systems / Sibin Mohan [and others] -- Towards synthesis of platform-aware attack-resilient control systems : extended abstract / Miroslav Pajic [and others] -- Verifying information flow properties of hybrid systems / Pavithra Prabjakar [and others] -- Achieving resilience of heterogeneous networks through predictive, formal analysis / Zhijing Qin [and others] -- Minimax control for cyber-physical systems under network packet scheduling attacks / Yasser Shoukry [and others] -- Verifiably-safe software-defined networks for CPS / Richard Skowyra [and others] -- Bounding the smallest robustly control invariant sets in networks with discrete disturbances and controls / Danielle C. Tarraf -- Contract-based blame assignment by trace analysis / Shaohui Wang [and others] -- Distributed model-invariant detection of unknown inputs in networked systems / James Weimer [and others] -- Taxonomy for description of cross-domain attacks on CPS / Mark Yampolskiy [and others]. |
Altri titoli varianti |
HiCoNS '13 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), Philadelphia, PA, USA - April 09 - 11, 2013
Proceedings of the 2nd ACM international conference on High confidence networked systems High Confidence Networked Systems'13 : proceedings of the 2nd ACM International Conference on High Confidence Networked Systems : April 9-11, 2013, Philadelphia, PA, USA |
Record Nr. | UNINA-9910375903903321 |
Hicons 13 Conference Committee
![]() |
||
[Place of publication not identified], : Association for Computing Machinery, 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Hybrid Systems II [[electronic resource] /] / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (IX, 575 p.) |
Disciplina | 629.8/9 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Microprocessors
Control engineering Computers Special purpose computers Software engineering Computer logic Processor Architectures Control and Systems Theory Theory of Computation Special Purpose and Application-Based Systems Software Engineering Logics and Meanings of Programs |
ISBN | 3-540-47519-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Symbolic controller synthesis for discrete and timed systems -- A Calculus of Stochastic Systems for the specification, simulation, and hidden state estimation of hybrid stochastic/non-stochastic systems -- Condensation of information from signals for process modeling and control -- On the automatic verification of systems with continuous variables and unbounded discrete data structures -- On dynamically consistent hybrid systems -- A self-learning neuro-fuzzy system -- Viable control of hybrid systems -- Modeling and stability issues in hybrid systems -- Hierarchical hybrid control: a case study -- Hybrid systems and quantum automata: Preliminary announcement -- Planar hybrid systems -- Programming in hybrid constraint languages -- A note on abstract interpretation strategies for hybrid automata -- HyTech: The Cornell Hybrid Technology Tool -- Hybrid systems as Finsler manifolds: Finite state control as approximation to connections -- Constructing hybrid control systems from robust linear control agents -- Controllers as fixed points of set-valued operators -- Verification of hybrid systems using abstractions -- Control of continuous plants by symbolic output feedback -- Hybrid control of a robot — a case study -- Verifying time-bounded properties for ELECTRE reactive programs with stopwatch automata -- Inductive modeling: A framework marrying systems theory and non-monotonic reasoning -- Semantics and verification of hierarchical CRP programs -- Interface and controller design for hybrid control systems -- Hybrid objects -- Modelling of hybrid systems based on extended coloured Petri nets -- DEVS framework for modelling, simulation, analysis, and design of hybrid systems -- Synthesis of hybrid constraint-based controllers. |
Record Nr. | UNISA-996466115603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Hybrid Systems IV [[electronic resource] /] / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (X, 410 p.) |
Disciplina | 629.8/95 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer logic
Computers Architecture, Computer Special purpose computers Software engineering Algorithms Logics and Meanings of Programs Theory of Computation Computer System Implementation Special Purpose and Application-Based Systems Software Engineering Algorithm Analysis and Problem Complexity |
ISBN | 3-540-69523-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Bumpless switching in hybrid systems -- A toolbox for proving and maintaining hybrid specifications -- Simulation of hybrid systems -- Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem -- Decidability of hybrid systems with linear and nonlinear differential inclusions -- Reliable implementation of hybrid control systems for advanced avionics -- SHIFT: A formalism and a programming language for dynamic networks of hybrid automata -- Synthesis of minimally restrictive legal controllers for a class of hybrid systems -- Control theory, modal logic, and games -- Agent based velocity control of highway systems -- A computational analysis of the reachability problem for a class of hybrid dynamical systems -- A class of rectangular hybrid systems with computable reach set -- Safe implementations of supervisory commands -- Hybrid system games: Extraction of control automata with small topologies -- Hybrid control design for a three vehicle scenario demonstration using overlapping decompositions -- Towards continuous abstractions of dynamical and control systems -- A totally ordered set of discrete abstractions for a given hybrid or continuous system -- Comparing timed and hybrid automata as approximations of continuous systems -- Hybrid control models of next generation air traffic management. |
Record Nr. | UNINA-9910144920503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Hybrid Systems IV [[electronic resource] /] / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (X, 410 p.) |
Disciplina | 629.8/95 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer logic
Computers Architecture, Computer Special purpose computers Software engineering Algorithms Logics and Meanings of Programs Theory of Computation Computer System Implementation Special Purpose and Application-Based Systems Software Engineering Algorithm Analysis and Problem Complexity |
ISBN | 3-540-69523-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Bumpless switching in hybrid systems -- A toolbox for proving and maintaining hybrid specifications -- Simulation of hybrid systems -- Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem -- Decidability of hybrid systems with linear and nonlinear differential inclusions -- Reliable implementation of hybrid control systems for advanced avionics -- SHIFT: A formalism and a programming language for dynamic networks of hybrid automata -- Synthesis of minimally restrictive legal controllers for a class of hybrid systems -- Control theory, modal logic, and games -- Agent based velocity control of highway systems -- A computational analysis of the reachability problem for a class of hybrid dynamical systems -- A class of rectangular hybrid systems with computable reach set -- Safe implementations of supervisory commands -- Hybrid system games: Extraction of control automata with small topologies -- Hybrid control design for a three vehicle scenario demonstration using overlapping decompositions -- Towards continuous abstractions of dynamical and control systems -- A totally ordered set of discrete abstractions for a given hybrid or continuous system -- Comparing timed and hybrid automata as approximations of continuous systems -- Hybrid control models of next generation air traffic management. |
Record Nr. | UNISA-996465506303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Hybrid Systems: Computation and Control [[electronic resource] ] : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings / / edited by Thomas A. Henzinger, Shankar Sastry |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (VIII, 417 p.) |
Disciplina | 629.8/9 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Architecture, Computer
Computers Microprocessors Special purpose computers Software engineering Computer logic Computer System Implementation Theory of Computation Processor Architectures Special Purpose and Application-Based Systems Software Engineering Logics and Meanings of Programs |
ISBN | 3-540-69754-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Equations on timed languages -- Hybrid control for automotive engine management: The cut-off case -- Hybrid control of automotive powertrain systems: A case study -- On the composition of hybrid systems -- An equivalence between a control network and a switched hybrid system -- Hybrid cc with interval constraints -- Reachability analysis via face lifting -- Automotive control revisited linear inequalities as approximation of reachable sets -- Switching controllers based on neural network estimates of stability regions and controller performance -- A logic for the specification of continuous systems -- Integrating projections -- Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems -- Reachability verification for hybrid automata -- Subanalytic stratifications and bisimulations -- Integrated design and simulation of hybrid systems -- Hierarchical hybrid systems: Partition deformations and applications to the acrobot system -- Formal verification of safety-critical hybrid systems -- Strings of vehicles: Modeling and safety conditions -- An approach to the verification of the Center-TRACON automation system -- Deductive verification of hybrid systems using step -- Reduction and decomposition of differential automata: Theory and applications -- Optimization of generalized solutions of nonlinear hybrid (discrete-continuous) systems -- Information-based optimization approaches to dynamical system safety verification -- Synthesizing controllers for nonlinear hybrid systems -- A sufficient condition for controllability of a class of hybrid systems -- Hybrid regular expressions -- Stabilization of systems with changing dynamics. |
Record Nr. | UNISA-996466085003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Hybrid Systems: Computation and Control [[electronic resource] ] : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings / / edited by Thomas A. Henzinger, Shankar Sastry |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (VIII, 417 p.) |
Disciplina | 629.8/9 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Architecture, Computer
Computers Microprocessors Special purpose computers Software engineering Computer logic Computer System Implementation Theory of Computation Processor Architectures Special Purpose and Application-Based Systems Software Engineering Logics and Meanings of Programs |
ISBN | 3-540-69754-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Equations on timed languages -- Hybrid control for automotive engine management: The cut-off case -- Hybrid control of automotive powertrain systems: A case study -- On the composition of hybrid systems -- An equivalence between a control network and a switched hybrid system -- Hybrid cc with interval constraints -- Reachability analysis via face lifting -- Automotive control revisited linear inequalities as approximation of reachable sets -- Switching controllers based on neural network estimates of stability regions and controller performance -- A logic for the specification of continuous systems -- Integrating projections -- Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems -- Reachability verification for hybrid automata -- Subanalytic stratifications and bisimulations -- Integrated design and simulation of hybrid systems -- Hierarchical hybrid systems: Partition deformations and applications to the acrobot system -- Formal verification of safety-critical hybrid systems -- Strings of vehicles: Modeling and safety conditions -- An approach to the verification of the Center-TRACON automation system -- Deductive verification of hybrid systems using step -- Reduction and decomposition of differential automata: Theory and applications -- Optimization of generalized solutions of nonlinear hybrid (discrete-continuous) systems -- Information-based optimization approaches to dynamical system safety verification -- Synthesizing controllers for nonlinear hybrid systems -- A sufficient condition for controllability of a class of hybrid systems -- Hybrid regular expressions -- Stabilization of systems with changing dynamics. |
Record Nr. | UNINA-9910768464103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|