Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Hybrid Systems III [[electronic resource] ] : Verification and Control / / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
| Hybrid Systems III [[electronic resource] ] : Verification and Control / / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (IX, 619 p.) |
| Disciplina | 629.8/9 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Microprocessors
Computers Architecture, Computer Special purpose computers Software engineering Computer logic Processor Architectures Theory of Computation Computer System Implementation Special Purpose and Application-Based Systems Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-68334-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A game-theoretic approach to hybrid system design -- Verifying clocked transition systems -- Compositional and uniform modelling of hybrid systems -- Hybrid cc, hybrid automata and program verification -- Controlled switching diffusions as hybrid processes -- Hybrid systems: Chattering approximation to relaxed controls -- Verification of automated vehicle protection systems -- Extended RTL in the specification and verification of an industrial press -- Abstract verification of structured dynamical systems -- Design and evaluation tools for Automated Highway Systems -- Hybrid control in Sea Traffic Management Systems -- Verification of hybrid systems: Monotonicity in the AHS control system -- Examples of stabilization with hybrid feedback -- General hybrid dynamical systems: Modeling, analysis, and control -- The residue of model reduction -- The tool Kronos -- Timing analysis in COSPAN -- UPPAAL — a tool suite for automatic verification of real-time systems -- Optimal design of hybrid controllers for hybrid process systems -- On-line fault monitoring of a class of hybrid systems using templates with dynamic time scaling -- Hierarchical design of a chemical concentration control system -- Switched bond graphs as front-end to formal verification of hybrid systems -- Formal specification of stability in hybrid control systems -- Requirements specifications for hybrid systems -- Validation of hybrid systems by co-simulation -- Proofs from temporal hypotheses by symbolic simulation -- On controlling timed discrete event systems -- Supervisory control of real-time systems using prioritized synchronization -- ?-Approximation of differential inclusions -- Linear phase-portrait approximations for nonlinear hybrid systems -- Deciding reachability for planar multi-polynomial systems -- Modeling hybrid dynamical systems -- Stability of hybrid systems -- Model and stability of hybrid linear system -- Interconnected automata and linear systems: A theoretical framework in discrete-time -- Modelling and verification of automated transit systems, using timed automata, invariants and simulations -- An invariant based approach to the design of hybrid control systems containing clocks -- Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems -- A data intensive computing approach to path planning and mode management for hybrid systems -- Hybrid I/O automata -- A formal description of hybrid systems -- Logics vs. automata: The hybrid case -- H? gain schedule synthesis of supervisory hybrid control systems -- A new approach to robust control of hybrid systems -- A DES approach to control of hybrid dynamical systems -- Diagnostic model-checking for real-time systems -- Specification and verification of hybrid dynamic systems with Timed ?-automata -- Fischer's protocol revisited: A simple proof using modal constraints. |
| Record Nr. | UNISA-996465606603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Nonlinear and Optimal Control Theory [[electronic resource] ] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 19-29, 2004 / / by Andrei A. Agrachev, A. Stephen Morse, Eduardo D. Sontag, Hector J. Sussmann, Vadim I. Utkin ; edited by Paolo Nistri, Gianna Stefani
| Nonlinear and Optimal Control Theory [[electronic resource] ] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 19-29, 2004 / / by Andrei A. Agrachev, A. Stephen Morse, Eduardo D. Sontag, Hector J. Sussmann, Vadim I. Utkin ; edited by Paolo Nistri, Gianna Stefani |
| Autore | Agrachev Andrei A |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XIV, 360 p. 78 illus.) |
| Disciplina | 629.8/36 |
| Collana | C.I.M.E. Foundation Subseries |
| Soggetto topico |
System theory
Calculus of variations Differential geometry Dynamics Ergodic theory Systems Theory, Control Calculus of Variations and Optimal Control; Optimization Differential Geometry Dynamical Systems and Ergodic Theory |
| ISBN | 3-540-77653-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Geometry of Optimal Control Problems and Hamiltonian Systems -- Lecture Notes on Logically Switched Dynamical Systems -- Input to State Stability: Basic Concepts and Results -- Generalized Differentials, Variational Generators, and the Maximum Principle with State Constraints -- Sliding Mode Control: Mathematical Tools, Design and Applications. |
| Record Nr. | UNISA-996466514003316 |
Agrachev Andrei A
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||