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.
Controls and Art : Inquiries at the Intersection of the Subjective and the Objective / / edited by Amy LaViers, Magnus Egerstedt
| Controls and Art : Inquiries at the Intersection of the Subjective and the Objective / / edited by Amy LaViers, Magnus Egerstedt |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (238 p.) |
| Disciplina |
001.53
500 620 629.8 |
| Soggetto topico |
Control engineering
Arts Popular works Robotics Automation Control and Systems Theory Popular Science, general Robotics and Automation |
| ISBN | 3-319-03904-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Metric Preference Learning with Applications to Motion Imitation -- In the Dance Studio: An Art and Engineering Exploration of Human Flocking -- Dancing Robots: The Control Theory of Communication Through Movement -- So You Think You Can Dance?: Rhythmic Flight Performances with Quadrocopters -- Robotic Puppets and the Engineering of Autonomous Theatre -- The Artistic Geometry of Consensus Protocols -- Generating Music from Flocking Dynamics -- "Are We There Yet?": Visual Tracking of Visitors Under Variable Lighting -- Style-based Robotic Motion in Contemporary Dance Performance. |
| Record Nr. | UNINA-9910299489603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph theoretic methods in multiagent networks / / Mehran Mesbahi and Magnus Egerstedt
| Graph theoretic methods in multiagent networks / / Mehran Mesbahi and Magnus Egerstedt |
| Autore | Mesbahi Mehran |
| Edizione | [STU student edition] |
| Pubbl/distr/stampa | Princeton : , : Princeton University Press, , [2010] |
| Descrizione fisica | 1 online resource (424 pages) |
| Disciplina | 006.3 |
| Collana | Princeton series in applied mathematics |
| Soggetto topico |
Network analysis (Planning) - Graphic methods
Multiagent systems - Mathematical models |
| Soggetto genere / forma | Electronic books. |
| ISBN |
9781400835355 (electronic book)
1-282-97910-8 9786612979101 1-4008-3535-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Notation -- PART 1. FOUNDATIONS -- Chapter 1. Introduction -- Chapter 2. Graph Theory -- Chapter 3. The Agreement Protocol: Part I-The Static Case -- Chapter 4. The Agreement Protocol: Part II-Lyapunov and LaSalle -- Chapter 5. Probabilistic Analysis of Networks and Protocols -- PART 2. MULTIAGENT NETWORKS -- Chapter 6. Formation Control -- Chapter 7. Mobile Robots -- Chapter 8. Distributed Estimation -- Chapter 9. Social Networks, Epidemics, and Games -- PART 3. NETWORKS AS SYSTEMS -- Chapter 10. Agreement with Inputs and Outputs -- Chapter 11. Synthesis of Networks -- Chapter 12. Dynamic Graph Processes -- Chapter 13. Higher-order Networks -- Appendix A. -- Bibliography -- Index |
| Record Nr. | UNINA-9910459688703321 |
Mesbahi Mehran
|
||
| Princeton : , : Princeton University Press, , [2010] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph theoretic methods in multiagent networks / / Mehran Mesbahi and Magnus Egerstedt
| Graph theoretic methods in multiagent networks / / Mehran Mesbahi and Magnus Egerstedt |
| Autore | Mesbahi Mehran |
| Edizione | [STU student edition] |
| Pubbl/distr/stampa | Princeton : , : Princeton University Press, , [2010] |
| Descrizione fisica | 1 online resource (424 pages) |
| Disciplina | 006.3 |
| Collana | Princeton series in applied mathematics |
| Soggetto topico |
Network analysis (Planning) - Graphic methods
Multiagent systems - Mathematical models |
| Soggetto non controllato |
Addition
Adjacency matrix Algebraic graph theory Algorithm Automorphism Bipartite graph Cardinality Cartesian product Circulant graph Combinatorics Complete graph Computation Connectivity (graph theory) Controllability Convex combination Corollary Cycle graph (algebra) Cycle space Degree (graph theory) Degree matrix Diagonal matrix Diameter Differentiable function Dimension Directed graph Division by zero Dynamical system Eigenvalues and eigenvectors Equilibrium point Estimation Estimator Existential quantification Extremal graph theory Graph (discrete mathematics) Graph theory Identity matrix Incidence matrix Information exchange Initial condition Interconnection Iteration Kalman filter Kronecker product LTI system theory LaSalle's invariance principle Laplacian matrix Least squares Line graph Linear map Lipschitz continuity Lyapunov function Lyapunov stability Markov chain Mathematical optimization Matrix exponential Measurement Multi-agent system Nash equilibrium Natural number Network topology Nonnegative matrix Notation Observability Optimal control Optimization problem Pairwise Parameter Path graph Permutation matrix Permutation Positive semidefinite Positive-definite matrix Probability Quantity Random graph Random variable Rate of convergence Requirement Result Robotics Scientific notation Sensor Sign (mathematics) Simplicial complex Special case Spectral graph theory Stochastic matrix Strongly connected component Subset Summation Supergraph Symmetric matrix Systems theory Theorem Theory Unit interval Upper and lower bounds Variable (mathematics) Vector space Without loss of generality |
| ISBN |
9781400835355 (electronic book)
1-282-97910-8 9786612979101 1-4008-3535-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Notation -- PART 1. FOUNDATIONS -- Chapter 1. Introduction -- Chapter 2. Graph Theory -- Chapter 3. The Agreement Protocol: Part I-The Static Case -- Chapter 4. The Agreement Protocol: Part II-Lyapunov and LaSalle -- Chapter 5. Probabilistic Analysis of Networks and Protocols -- PART 2. MULTIAGENT NETWORKS -- Chapter 6. Formation Control -- Chapter 7. Mobile Robots -- Chapter 8. Distributed Estimation -- Chapter 9. Social Networks, Epidemics, and Games -- PART 3. NETWORKS AS SYSTEMS -- Chapter 10. Agreement with Inputs and Outputs -- Chapter 11. Synthesis of Networks -- Chapter 12. Dynamic Graph Processes -- Chapter 13. Higher-order Networks -- Appendix A. -- Bibliography -- Index |
| Record Nr. | UNINA-9910785659103321 |
|
Mesbahi Mehran
|
||
| Princeton : , : Princeton University Press, , [2010] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph theoretic methods in multiagent networks / / Mehran Mesbahi and Magnus Egerstedt
| Graph theoretic methods in multiagent networks / / Mehran Mesbahi and Magnus Egerstedt |
| Autore | Mesbahi Mehran |
| Edizione | [STU student edition] |
| Pubbl/distr/stampa | Princeton : , : Princeton University Press, , [2010] |
| Descrizione fisica | 1 online resource (424 pages) |
| Disciplina | 006.3 |
| Collana | Princeton series in applied mathematics |
| Soggetto topico |
Network analysis (Planning) - Graphic methods
Multiagent systems - Mathematical models |
| Soggetto non controllato |
Addition
Adjacency matrix Algebraic graph theory Algorithm Automorphism Bipartite graph Cardinality Cartesian product Circulant graph Combinatorics Complete graph Computation Connectivity (graph theory) Controllability Convex combination Corollary Cycle graph (algebra) Cycle space Degree (graph theory) Degree matrix Diagonal matrix Diameter Differentiable function Dimension Directed graph Division by zero Dynamical system Eigenvalues and eigenvectors Equilibrium point Estimation Estimator Existential quantification Extremal graph theory Graph (discrete mathematics) Graph theory Identity matrix Incidence matrix Information exchange Initial condition Interconnection Iteration Kalman filter Kronecker product LTI system theory LaSalle's invariance principle Laplacian matrix Least squares Line graph Linear map Lipschitz continuity Lyapunov function Lyapunov stability Markov chain Mathematical optimization Matrix exponential Measurement Multi-agent system Nash equilibrium Natural number Network topology Nonnegative matrix Notation Observability Optimal control Optimization problem Pairwise Parameter Path graph Permutation matrix Permutation Positive semidefinite Positive-definite matrix Probability Quantity Random graph Random variable Rate of convergence Requirement Result Robotics Scientific notation Sensor Sign (mathematics) Simplicial complex Special case Spectral graph theory Stochastic matrix Strongly connected component Subset Summation Supergraph Symmetric matrix Systems theory Theorem Theory Unit interval Upper and lower bounds Variable (mathematics) Vector space Without loss of generality |
| ISBN |
9781400835355 (electronic book)
1-282-97910-8 9786612979101 1-4008-3535-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Notation -- PART 1. FOUNDATIONS -- Chapter 1. Introduction -- Chapter 2. Graph Theory -- Chapter 3. The Agreement Protocol: Part I-The Static Case -- Chapter 4. The Agreement Protocol: Part II-Lyapunov and LaSalle -- Chapter 5. Probabilistic Analysis of Networks and Protocols -- PART 2. MULTIAGENT NETWORKS -- Chapter 6. Formation Control -- Chapter 7. Mobile Robots -- Chapter 8. Distributed Estimation -- Chapter 9. Social Networks, Epidemics, and Games -- PART 3. NETWORKS AS SYSTEMS -- Chapter 10. Agreement with Inputs and Outputs -- Chapter 11. Synthesis of Networks -- Chapter 12. Dynamic Graph Processes -- Chapter 13. Higher-order Networks -- Appendix A. -- Bibliography -- Index |
| Record Nr. | UNINA-9910816716403321 |
|
Mesbahi Mehran
|
||
| Princeton : , : Princeton University Press, , [2010] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hybrid Systems: Computation and Control [[electronic resource] ] : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings / / edited by Magnus Egerstedt, Bud Mishra
| Hybrid Systems: Computation and Control [[electronic resource] ] : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings / / edited by Magnus Egerstedt, Bud Mishra |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XV, 684 p.) |
| Disciplina | 004.1/9 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computers, Special purpose Microprocessors Computer architecture Software engineering Theory of Computation Special Purpose and Application-Based Systems Processor Architectures Computer Science Logic and Foundations of Programming Software Engineering |
| ISBN | 3-540-78929-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Papers -- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems -- Co-simulation Tools for Networked Control Systems -- On the Maximum Principle for Impulsive Hybrid Systems -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System -- Controller Synthesis with Budget Constraints -- Trading Infinite Memory for Uniform Randomness in Timed Games -- Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components -- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions -- A Control Lyapunov Approach to Predictive Control of Hybrid Systems -- Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems -- Anytime Control Algorithms for Embedded Real-Time Systems -- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems -- A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata -- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems -- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis -- Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes -- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains -- Observer-Based Control of Linear Complementarity Systems -- Complementarity Systems in Constrained Steady-State Optimal Control -- Dealing with Nondeterminism in Symbolic Control -- Safety and Liveness in Intelligent Intersections -- LTLC: Linear Temporal Logic for Control -- Switched and PieceWise Nonlinear Hybrid System Identification -- Verification of Supervisory Control Software Using State Proximity and Merging -- Optimotaxis: A Stochastic Multi-agent Optimization Procedure with Point Measurements -- Noncausal Optimal Tracking of Linear Switched Systems -- Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems -- A Decidable Class of Planar Linear Hybrid Systems -- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization -- Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process -- Distributed Lyapunov Functions in Analysis of Graph Models of Software -- On the Optimality of Dubins Paths across Heterogeneous Terrain -- Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems -- Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata -- Input-to-State Stabilization with Quantized Output Feedback -- Bisimilar Finite Abstractions of Interconnected Systems -- On Controllability of Timed Continuous Petri Nets -- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications -- Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems -- Composition of Motion Description Languages -- On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems -- Short Papers -- Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps -- On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries -- Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems -- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control -- An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems -- d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata -- Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems -- Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time -- Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics -- Approximate Control Design for Solar Driven Sensor Nodes -- Modular Development of Hybrid Systems for Verification in Coq -- Steering a Leader-Follower Team Via Linear Consensus -- Logical Verification and Systematic Parametric Analysis in Train Control -- Information Theoretical Approach to Identification of Hybrid Systems -- A Policy Iteration Technique for Time Elapse over Template Polyhedra -- Generating Box Invariants -- Qualitative Stability Patterns for Lotka-Volterra Systems on Rectangles -- Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates -- On the Timing of Discrete Events in Event-Driven Control Systems -- Decentralized Event-Triggered Broadcasts over Networked Control Systems. |
| Record Nr. | UNISA-996465976403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Hybrid Systems: Computation and Control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings / / edited by Magnus Egerstedt, Bud Mishra
| Hybrid Systems: Computation and Control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings / / edited by Magnus Egerstedt, Bud Mishra |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XV, 684 p.) |
| Disciplina | 004.1/9 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computers, Special purpose Microprocessors Computer architecture Software engineering Theory of Computation Special Purpose and Application-Based Systems Processor Architectures Computer Science Logic and Foundations of Programming Software Engineering |
| ISBN | 3-540-78929-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Papers -- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems -- Co-simulation Tools for Networked Control Systems -- On the Maximum Principle for Impulsive Hybrid Systems -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System -- Controller Synthesis with Budget Constraints -- Trading Infinite Memory for Uniform Randomness in Timed Games -- Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components -- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions -- A Control Lyapunov Approach to Predictive Control of Hybrid Systems -- Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems -- Anytime Control Algorithms for Embedded Real-Time Systems -- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems -- A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata -- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems -- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis -- Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes -- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains -- Observer-Based Control of Linear Complementarity Systems -- Complementarity Systems in Constrained Steady-State Optimal Control -- Dealing with Nondeterminism in Symbolic Control -- Safety and Liveness in Intelligent Intersections -- LTLC: Linear Temporal Logic for Control -- Switched and PieceWise Nonlinear Hybrid System Identification -- Verification of Supervisory Control Software Using State Proximity and Merging -- Optimotaxis: A Stochastic Multi-agent Optimization Procedure with Point Measurements -- Noncausal Optimal Tracking of Linear Switched Systems -- Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems -- A Decidable Class of Planar Linear Hybrid Systems -- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization -- Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process -- Distributed Lyapunov Functions in Analysis of Graph Models of Software -- On the Optimality of Dubins Paths across Heterogeneous Terrain -- Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems -- Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata -- Input-to-State Stabilization with Quantized Output Feedback -- Bisimilar Finite Abstractions of Interconnected Systems -- On Controllability of Timed Continuous Petri Nets -- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications -- Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems -- Composition of Motion Description Languages -- On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems -- Short Papers -- Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps -- On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries -- Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems -- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control -- An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems -- d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata -- Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems -- Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time -- Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics -- Approximate Control Design for Solar Driven Sensor Nodes -- Modular Development of Hybrid Systems for Verification in Coq -- Steering a Leader-Follower Team Via Linear Consensus -- Logical Verification and Systematic Parametric Analysis in Train Control -- Information Theoretical Approach to Identification of Hybrid Systems -- A Policy Iteration Technique for Time Elapse over Template Polyhedra -- Generating Box Invariants -- Qualitative Stability Patterns for Lotka-Volterra Systems on Rectangles -- Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates -- On the Timing of Discrete Events in Event-Driven Control Systems -- Decentralized Event-Triggered Broadcasts over Networked Control Systems. |
| Record Nr. | UNINA-9910483182003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||