top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Hybrid and Real-Time Systems [[electronic resource] ] : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings / / edited by Oded Maler
Hybrid and Real-Time Systems [[electronic resource] ] : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings / / edited by Oded Maler
Edizione [1st ed. 1997.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997
Descrizione fisica 1 online resource (X, 426 p.)
Disciplina 004.1/9
Collana Lecture Notes in Computer Science
Soggetto topico Control engineering
Computers
Special purpose computers
Microprocessors
Software engineering
Robotics
Mechatronics
Control and Systems Theory
Theory of Computation
Special Purpose and Application-Based Systems
Processor Architectures
Software Engineering
Control, Robotics, Mechatronics
ISBN 3-540-68330-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Verifying liveness properties of reactive systems (a tutorial) -- The Lyapunov method (a tutorial) -- Relating high-level and low-level action descriptions in a logic of actions and change -- A new algorithm for discrete timed symbolic model checking -- State clock logic: A decidable real-time logic -- From quantity to quality -- Verifying periodic task-control systems -- A case study in timed CSP: The railroad crossing problem -- Analysis of slope-parametric hybrid automata -- Comparing timed c/e systems with timed automata (abstract) -- Design tools for hybrid control systems -- On-Line, reflexive constraint satisfaction for hybrid systems: First steps -- Hybrid control issues in Air Traffic Management Systems -- Multiobjective hybrid controller synthesis -- Modelling a time-dependent protocol using the Circal process algebra -- Using HyTech to verify an automotive control System -- Safety verification for automated platoon maneuvers: A case study -- Verifying hybrid systems modeled as timed automata: A case study -- Using an object-oriented methodology to bring a hybrid system from initial concept to formal definition -- A digital real-time simulator for rail-vehicle control system testing -- Hybrid flow nets for hybrid processes modelling and control -- Representation of robust and non-robust solutions of nonlinear discrete-continuous systems -- Controller design of hybrid systems -- What can we learn from synchronous data-flow languages? -- Verification of real time chemical processing systems -- Functional specification of real-time and hybrid systems -- Relating time progress and deadlines in hybrid systems -- Semantics and verification of extended phase transition systems in Duration Calculus -- Weak refinement for modal hybrid systems -- Robust timed automata -- Data-structures for the verification of timed automata -- Synthesizing controllers for hybrid systems -- Control synthesis for a class of hybrid systems subject to configuration-based safety constraints -- Hybrid dynamic programming -- Invariance principle in hybrid systems modeled by mixed mappings -- Hybrid systems described by the complementarity formalism -- Generalized linear complementarity problems and the analysis of continuously variable systems and discrete event systems -- SHIFT: A language for simulating interconnected hybrid systems.
Record Nr. UNISA-996465979403316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Hybrid and Real-Time Systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings / / edited by Oded Maler
Hybrid and Real-Time Systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings / / edited by Oded Maler
Edizione [1st ed. 1997.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997
Descrizione fisica 1 online resource (X, 426 p.)
Disciplina 004.1/9
Collana Lecture Notes in Computer Science
Soggetto topico Automatic control
Computers
Computers, Special purpose
Microprocessors
Software engineering
Robotics
Mechatronics
Control and Systems Theory
Theory of Computation
Special Purpose and Application-Based Systems
Processor Architectures
Software Engineering
Control, Robotics, Mechatronics
ISBN 3-540-68330-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Verifying liveness properties of reactive systems (a tutorial) -- The Lyapunov method (a tutorial) -- Relating high-level and low-level action descriptions in a logic of actions and change -- A new algorithm for discrete timed symbolic model checking -- State clock logic: A decidable real-time logic -- From quantity to quality -- Verifying periodic task-control systems -- A case study in timed CSP: The railroad crossing problem -- Analysis of slope-parametric hybrid automata -- Comparing timed c/e systems with timed automata (abstract) -- Design tools for hybrid control systems -- On-Line, reflexive constraint satisfaction for hybrid systems: First steps -- Hybrid control issues in Air Traffic Management Systems -- Multiobjective hybrid controller synthesis -- Modelling a time-dependent protocol using the Circal process algebra -- Using HyTech to verify an automotive control System -- Safety verification for automated platoon maneuvers: A case study -- Verifying hybrid systems modeled as timed automata: A case study -- Using an object-oriented methodology to bring a hybrid system from initial concept to formal definition -- A digital real-time simulator for rail-vehicle control system testing -- Hybrid flow nets for hybrid processes modelling and control -- Representation of robust and non-robust solutions of nonlinear discrete-continuous systems -- Controller design of hybrid systems -- What can we learn from synchronous data-flow languages? -- Verification of real time chemical processing systems -- Functional specification of real-time and hybrid systems -- Relating time progress and deadlines in hybrid systems -- Semantics and verification of extended phase transition systems in Duration Calculus -- Weak refinement for modal hybrid systems -- Robust timed automata -- Data-structures for the verification of timed automata -- Synthesizing controllers for hybrid systems -- Control synthesis for a class of hybrid systems subject to configuration-based safety constraints -- Hybrid dynamic programming -- Invariance principle in hybrid systems modeled by mixed mappings -- Hybrid systems described by the complementarity formalism -- Generalized linear complementarity problems and the analysis of continuously variable systems and discrete event systems -- SHIFT: A language for simulating interconnected hybrid systems.
Record Nr. UNINA-9910768446603321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Hybrid Systems [[electronic resource] /] / edited by Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
Hybrid Systems [[electronic resource] /] / edited by Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
Edizione [1st ed. 1993.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993
Descrizione fisica 1 online resource (VIII, 476 p.)
Disciplina 004.1/9
Collana Lecture Notes in Computer Science
Soggetto topico Microprocessors
Control engineering
Computers
Special purpose computers
Software engineering
Processor Architectures
Control and Systems Theory
Theory of Computation
Special Purpose and Application-Based Systems
Software Engineering
Computation by Abstract Devices
ISBN 3-540-48060-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Verifying hybrid systems -- An extended duration calculus for hybrid real-time systems -- Towards refining temporal specifications into hybrid systems -- Hybrid systems in TLA+ -- Hybrid models with fairness and distributed clocks -- A compositional approach to the design of hybrid systems -- An approach to the description and analysis of hybrid systems -- Integration Graphs: A class of decidable hybrid systems -- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems -- Hybrid Systems: the SIGNAL approach -- A dynamical simulation facility for hybrid systems -- Event identification and intelligent hybrid control -- Multiple agent hybrid control architecture -- Models for hybrid systems: Automata, topologies, controllability, observability -- Some remarks about flows in hybrid systems -- Hybrid system modeling and autonomous control systems -- Fault accommodation in feedback control systems -- On formal support for industrial-scale requirements analysis -- A formal approach to computer systems requirements documentation.
Record Nr. UNISA-996466047303316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Hybrid systems : computation and control : 14th international conference, HSCC 2011,Chicago, Illinois, USA, April 12-14, 2011 : proceedings
Hybrid systems : computation and control : 14th international conference, HSCC 2011,Chicago, Illinois, USA, April 12-14, 2011 : proceedings
Autore Caccamo Marco
Pubbl/distr/stampa [Place of publication not identified], : Springer, 2011
Descrizione fisica 1 online resource (330 p.;)
Disciplina 004.1/9
Collana ACM Conferences
Soggetto topico Hybrid computers
Digital control systems
Engineering & Applied Sciences
Computer Science
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti HSCC '11
Record Nr. UNINA-9910376510803321
Caccamo Marco  
[Place of publication not identified], : Springer, 2011
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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 OptimizationProcedure 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
Opac: Controlla la disponibilità qui
Hybrid Systems: Computation and Control [[electronic resource] ] : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings / / edited by Joao Hespanha, Ashish Tiwari
Hybrid Systems: Computation and Control [[electronic resource] ] : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings / / edited by Joao Hespanha, Ashish Tiwari
Edizione [1st ed. 2006.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Descrizione fisica 1 online resource (XII, 584 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-33171-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Motion Coordination for Multi-agent Networks -- Towards a Third Generation of Control Systems -- Hybrid Systems—And Everything Else -- Regular Papers -- Behavioural Approximations for Restricted Linear Differential Hybrid Automata -- Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems -- On the Stability of Zeno Equilibria -- Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems -- Output-Based Optimal Timing Control of Switched Systems -- Hybrid Modelling and Control of the Common Rail Injection System -- Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata -- Improving Efficiency of Finite Plans by Optimal Choice of Input Sets -- Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation -- Approximate Reachability Computation for Polynomial Systems -- A Lattice Theory for Solving Games of Imperfect Information -- Observability of Hybrid Automata by Abstraction -- Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks -- Decision Problems for the Verification of Real-Time Software -- Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control -- Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition -- The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective -- Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs -- Verification Using Simulation -- Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes -- Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints -- Approximate Abstraction of Stochastic Hybrid Automata -- A Fully Automated Framework for Control of Linear Systems from LTL Specifications -- Reachability Analysis of Multi-affine Systems -- Approximation, Sampling and Voting in Hybrid Computing Systems -- Computational Methods for Reachability Analysis of Stochastic Hybrid Systems -- R-Charon, a Modeling Language for Reconfigurable Hybrid Systems -- Estimation and Conflict Detection in Human Controlled Systems -- Stability Analysis of Hybrid Systems Via Small-Gain Theorems -- Stochastic Hybrid Delay Population Dynamics -- Finite Gain l p Stabilization Is Impossible by Bit-Rate Constrained Feedback -- Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems -- Verifying Average Dwell Time by Solving Optimization Problems -- Interchange Format for Hybrid Systems: Abstract Semantics -- Model Checking of Hybrid Systems: From Reachability Towards Stability -- A Feedback Control Motivation for Generalized Solutions to Hybrid Systems -- Fixed Point Iteration for Computing the Time Elapse Operator -- Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks -- Beyond Zeno: Get on with It!.
Record Nr. UNISA-996465819203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings / / edited by Joao Hespanha, Ashish Tiwari
Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings / / edited by Joao Hespanha, Ashish Tiwari
Edizione [1st ed. 2006.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Descrizione fisica 1 online resource (XII, 584 p.)
Disciplina 004.1/9
Altri autori (Persone) HespanhaJoão P
TiwariAshish <1973->
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-33171-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Motion Coordination for Multi-agent Networks -- Towards a Third Generation of Control Systems -- Hybrid Systems—And Everything Else -- Regular Papers -- Behavioural Approximations for Restricted Linear Differential Hybrid Automata -- Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems -- On the Stability of Zeno Equilibria -- Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems -- Output-Based Optimal Timing Control of Switched Systems -- Hybrid Modelling and Control of the Common Rail Injection System -- Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata -- Improving Efficiency of Finite Plans by Optimal Choice of Input Sets -- Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation -- Approximate Reachability Computation for Polynomial Systems -- A Lattice Theory for Solving Games of Imperfect Information -- Observability of Hybrid Automata by Abstraction -- Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks -- Decision Problems for the Verification of Real-Time Software -- Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control -- Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition -- The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective -- Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs -- Verification Using Simulation -- Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes -- Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints -- Approximate Abstraction of Stochastic HybridAutomata -- A Fully Automated Framework for Control of Linear Systems from LTL Specifications -- Reachability Analysis of Multi-affine Systems -- Approximation, Sampling and Voting in Hybrid Computing Systems -- Computational Methods for Reachability Analysis of Stochastic Hybrid Systems -- R-Charon, a Modeling Language for Reconfigurable Hybrid Systems -- Estimation and Conflict Detection in Human Controlled Systems -- Stability Analysis of Hybrid Systems Via Small-Gain Theorems -- Stochastic Hybrid Delay Population Dynamics -- Finite Gain l p Stabilization Is Impossible by Bit-Rate Constrained Feedback -- Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems -- Verifying Average Dwell Time by Solving Optimization Problems -- Interchange Format for Hybrid Systems: Abstract Semantics -- Model Checking of Hybrid Systems: From Reachability Towards Stability -- A Feedback Control Motivation for Generalized Solutions to Hybrid Systems -- Fixed Point Iteration for Computing the Time Elapse Operator -- Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks -- Beyond Zeno: Get on with It!.
Record Nr. UNINA-9910483830503321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui