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.
Computer Aided Verification [[electronic resource] ] : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / / edited by Rajeev Alur, Doron A. Peled
| Computer Aided Verification [[electronic resource] ] : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / / edited by Rajeev Alur, Doron A. Peled |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 536 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Logic design Computer logic Mathematical logic Artificial intelligence Theory of Computation Software Engineering Logic Design Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-540-27813-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Rob Tristan Gerth: 1956–2003 -- Static Program Analysis via 3-Valued Logic -- Deductive Verification of Pipelined Machines Using First-Order Quantification -- A Formal Reduction for Lock-Free Parallel Algorithms -- An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking -- Termination of Linear Programs -- Symbolic Model Checking of Non-regular Properties -- Proving More Properties with Bounded Model Checking -- Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings -- Using Interface Refinement to Integrate Formal Verification into the Design Cycle -- Indexed Predicate Discovery for Unbounded System Verification -- Range Allocation for Separation Logic -- An Experimental Evaluation of Ground Decision Procedures -- DPLL(T): Fast Decision Procedures -- Verifying ?-Regular Properties of Markov Chains -- Statistical Model Checking of Black-Box Probabilistic Systems -- Compositional Specification and Model Checking in GSTE -- GSTE Is Partitioned Model Checking -- Stuck-Free Conformance -- Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors -- Functional Dependency for Verification Reduction -- Verification via Structure Simulation -- Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures -- Abstraction-Based Satisfiability Solving of Presburger Arithmetic -- Widening Arithmetic Automata -- Why Model Checking Can Improve WCET Analysis -- Regular Model Checking for LTL(MSO) -- Image Computation in Infinite State Model Checking -- Abstract Regular Model Checking -- Global Model-Checking of Infinite-State Systems -- QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings -- Verification of an Advanced mips-Type Out-of-Order Execution Algorithm -- Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values -- Efficient Modeling of Embedded Memories in Bounded Model Checking -- Understanding Counterexamples with explain -- Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement -- JNuke: Efficient Dynamic Analysis for Java -- The HiVy Tool Set -- ObsSlice: A Timed Automata Slicer Based on Observers -- The UCLID Decision Procedure -- MCK: Model Checking the Logic of Knowledge -- Zing: A Model Checker for Concurrent Software -- The Mec 5 Model-Checker -- PlayGame: A Platform for Diagnostic Games -- SAL 2 -- Formal Analysis of Java Programs in JavaFAN -- A Toolset for Modelling and Verification of GALS Systems -- WSAT: A Tool for Formal Analysis of Web Services -- CVC Lite: A New Implementation of the Cooperating Validity Checker -- CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking -- Mechanical Mathematical Methods for Microprocessor Verification. |
| Record Nr. | UNISA-996465724703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / / edited by Rajeev Alur, Doron A. Peled
| Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / / edited by Rajeev Alur, Doron A. Peled |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 536 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Logic design Computer logic Mathematical logic Artificial intelligence Theory of Computation Software Engineering Logic Design Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-540-27813-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Rob Tristan Gerth: 1956–2003 -- Static Program Analysis via 3-Valued Logic -- Deductive Verification of Pipelined Machines Using First-Order Quantification -- A Formal Reduction for Lock-Free Parallel Algorithms -- An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking -- Termination of Linear Programs -- Symbolic Model Checking of Non-regular Properties -- Proving More Properties with Bounded Model Checking -- Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings -- Using Interface Refinement to Integrate Formal Verification into the Design Cycle -- Indexed Predicate Discovery for Unbounded System Verification -- Range Allocation for Separation Logic -- An Experimental Evaluation of Ground Decision Procedures -- DPLL(T): Fast Decision Procedures -- Verifying ?-Regular Properties of Markov Chains -- Statistical Model Checking of Black-Box Probabilistic Systems -- Compositional Specification and Model Checking in GSTE -- GSTE Is Partitioned Model Checking -- Stuck-Free Conformance -- Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors -- Functional Dependency for Verification Reduction -- Verification via Structure Simulation -- Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures -- Abstraction-Based Satisfiability Solving of Presburger Arithmetic -- Widening Arithmetic Automata -- Why Model Checking Can Improve WCET Analysis -- Regular Model Checking for LTL(MSO) -- Image Computation in Infinite State Model Checking -- Abstract Regular Model Checking -- Global Model-Checking of Infinite-State Systems -- QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings -- Verification of an Advanced mips-Type Out-of-Order Execution Algorithm -- Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values -- Efficient Modeling of Embedded Memories in Bounded Model Checking -- Understanding Counterexamples with explain -- Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement -- JNuke: Efficient Dynamic Analysis for Java -- The HiVy Tool Set -- ObsSlice: A Timed Automata Slicer Based on Observers -- The UCLID Decision Procedure -- MCK: Model Checking the Logic of Knowledge -- Zing: A Model Checker for Concurrent Software -- The Mec 5 Model-Checker -- PlayGame: A Platform for Diagnostic Games -- SAL 2 -- Formal Analysis of Java Programs in JavaFAN -- A Toolset for Modelling and Verification of GALS Systems -- WSAT: A Tool for Formal Analysis of Web Services -- CVC Lite: A New Implementation of the Cooperating Validity Checker -- CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking -- Mechanical Mathematical Methods for Microprocessor Verification. |
| Record Nr. | UNINA-9910767527303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Aided Verification [[electronic resource] ] : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings / / edited by Rajeev Alur, Thomas Henzinger
| Computer Aided Verification [[electronic resource] ] : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings / / edited by Rajeev Alur, Thomas Henzinger |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XIII, 479 p.) |
| Disciplina | 005.1015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Computers Computer hardware Software engineering Mathematical logic Special purpose computers Logics and Meanings of Programs Theory of Computation Computer Hardware Software Engineering Mathematical Logic and Formal Languages Special Purpose and Application-Based Systems |
| ISBN | 3-540-68599-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Symbolic verification of communication protocols with infinite state spaces using QDDs -- A conjunctively decomposed boolean representation for symbolic model checking -- Symbolic model checking using algebraic geometry -- A partition refinement algorithm for the ?-calculus -- Polynomial time algorithms for testing probabilistic bisimulation and simulation -- Pushdown processes: Games and model checking -- Module checking -- Automatic verification of parameterized synchronous systems -- HORNSAT, model checking, verification and games -- Verifying the SRT division algorithm using theorem proving techniques -- Modular verification of SRT division -- Mechanically verifying a family of multiplier circuits -- Verifying systems with replicated components in mur? -- Verification of arithmetic circuits by comparing two similar circuits -- Automated deduction and formal methods -- A platform for combining deductive with algorithmic verification -- Verifying invariants using theorem proving -- Deductive model checking -- Automated verification by induction with associative-commutative operators -- Analysis of timed systems based on time-abstracting bisimulations -- Verification of an Audio Protocol with bus collision using Uppaal -- Selective quantitative analysis and interval model checking: Verifying different facets of a system -- Verifying continuous time Markov chains -- Verifying safety properties of differential equations -- Temporal verification by diagram transformations -- Protocol verification by aggregation of distributed transactions -- Atomicity refinement and trace reduction theorems -- Powerful techniques for the automatic generation of invariants -- Saving space by fully exploiting invisible transitions -- Using on-the-fly verification techniques for the generation of test suites -- Automatic translation of natural language system specifications into temporal logic -- Verification of fair transition systems -- The state of Spin -- The Mur ? verification system -- The NCSU Concurrency Workbench -- The Concurrency Factory: A development environment for concurrent systems -- XVERSA: An integrated graphical and textual toolset for the specification and analysis of resource-bound real-time systems -- EVP: Integration of FDTs for the analysis and verification of communication protocols -- PVS: Combining specification, proof checking, and model checking -- STeP: Deductive-algorithmic verification of reactive and real-time systems -- Symbolic model checking -- COSPAN -- VIS: A system for verification and synthesis -- MDG tools for the verification of RTL designs -- CADP a protocol validation and verification toolbox -- The FC2TOOLS set -- The Real-Time Graphical Interval Logic toolset -- The METAFrame'95 environment -- Verification Support Environment -- Marrella: A tool for simulation and verification -- Verifying the safety of a practical concurrent garbage collector -- Verification by behaviour abstraction. |
| Record Nr. | UNISA-996465658903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Embedded Software [[electronic resource] ] : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings / / edited by Rajeev Alur
| Embedded Software [[electronic resource] ] : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings / / edited by Rajeev Alur |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 378 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Application software
Special purpose computers Computer programming Software engineering Programming languages (Electronic computers) Operating systems (Computers) Computer Applications Special Purpose and Application-Based Systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Operating Systems |
| ISBN | 3-540-45212-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- A Probabilistic Framework for Schedulability Analysis -- Resource-Efficient Scheduling for Real Time Systems -- Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems -- Regular Papers -- Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment -- HOKES/POKES: Light-Weight Resource Sharing -- Rate Monotonic vs. EDF: Judgment Day -- Translating Discrete-Time Simulink to Lustre -- Minimizing Variables’ Lifetime in Loop-Intensive Applications -- Resource Interfaces -- Clocks as First Class Abstract Types -- Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications -- Space Reductions for Model Checking Quasi-Cyclic Systems -- Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs -- Clock-Driven Automatic Distribution of Lustre Programs -- Reasoning about Abstract Open Systems with Generalized Module Checking -- Schedule-Carrying Code -- Energy-Efficient Multi-processor Implementation of Embedded Software -- A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications -- Constraint-Based Design-Space Exploration and Model Synthesis -- Eliminating Stack Overflow by Abstract Interpretation -- Event Correlation: Language and Semantics -- Generating Heap-Bounded Programs in a Functional Setting -- Pre-Scheduling: Integrating Offline and Online Scheduling Techniques. |
| Record Nr. | UNISA-996466070203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Embedded Software : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings / / edited by Rajeev Alur
| Embedded Software : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings / / edited by Rajeev Alur |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 378 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Application software
Special purpose computers Computer programming Software engineering Programming languages (Electronic computers) Operating systems (Computers) Computer Applications Special Purpose and Application-Based Systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Operating Systems |
| ISBN | 3-540-45212-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- A Probabilistic Framework for Schedulability Analysis -- Resource-Efficient Scheduling for Real Time Systems -- Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems -- Regular Papers -- Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment -- HOKES/POKES: Light-Weight Resource Sharing -- Rate Monotonic vs. EDF: Judgment Day -- Translating Discrete-Time Simulink to Lustre -- Minimizing Variables’ Lifetime in Loop-Intensive Applications -- Resource Interfaces -- Clocks as First Class Abstract Types -- Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications -- Space Reductions for Model Checking Quasi-Cyclic Systems -- Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs -- Clock-Driven Automatic Distribution of Lustre Programs -- Reasoning about Abstract Open Systems with Generalized Module Checking -- Schedule-Carrying Code -- Energy-Efficient Multi-processor Implementation of Embedded Software -- A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications -- Constraint-Based Design-Space Exploration and Model Synthesis -- Eliminating Stack Overflow by Abstract Interpretation -- Event Correlation: Language and Semantics -- Generating Heap-Bounded Programs in a Functional Setting -- Pre-Scheduling: Integrating Offline and Online Scheduling Techniques. |
| Record Nr. | UNINA-9910144033803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Hybrid Systems: Computation and Control [[electronic resource] ] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings / / edited by Rajeev Alur, George Pappas
| Hybrid Systems: Computation and Control [[electronic resource] ] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings / / edited by Rajeev Alur, George Pappas |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 674 p.) |
| Disciplina | 004.19 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Special purpose computers Computer system failures Software engineering Computer logic Computer simulation Theory of Computation Special Purpose and Application-Based Systems System Performance and Evaluation Software Engineering Logics and Meanings of Programs Simulation and Modeling |
| ISBN |
1-280-30711-0
9786610307111 3-540-24743-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Papers -- Lazy Rectangular Hybrid Automata -- Affine Hybrid Systems -- Abstraction by Projection and Application to Multi-affine Systems -- Observability of Switched Linear Systems -- Inference Methods for Autonomous Stochastic Linear Hybrid Systems -- Synthesis for Idle Speed Control of an Automotive Engine -- Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways -- Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems -- A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems -- Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems -- Discrete and Hybrid Nonholonomy -- Approximations of the Rate of Growth of Switched Linear Systems -- The Hybrid Guaranteed Capture Basin Algorithm in Economics -- Staying Alive as Cheaply as Possible -- On O-Minimal Hybrid Systems -- Extended Stochastic Hybrid Systems and Their Reachability Problem -- On the Controllability of Bimodal Piecewise Linear Systems -- Observability of Piecewise-Affine Hybrid Systems -- Non-deterministic Temporal Logics for General Flow Systems -- Almost ASAP Semantics: From Timed Models to Timed Implementations -- Discrete State Estimators for a Class of Hybrid Systems on a Lattice -- Benchmarks for Hybrid Systems Verification -- On the Optimal Control of Switch-Mode DC-DC Converters -- Event-Driven Programming with Logical Execution Times -- A Stochastic Hybrid Model for Air Traffic Control Simulation -- Stochastic Hybrid Systems: Application to Communication Networks -- Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints -- Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems -- Sound Code Generation from Communicating Hybrid Models -- Multi-Parametric Toolbox (MPT) -- Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis -- Safety Verification of Hybrid Systems Using Barrier Certificates -- Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes -- A Spatial Logic for the Hybrid ?-Calculus -- Full Paper Sheet Control Using Hybrid Automata -- Constructing Invariants for Hybrid Systems -- Bisimulation of Dynamical Systems -- Control Design for a Hybrid Dynamic System: A NASA Life Support System -- Non-concurrent Error Detection and Correction in Switched Linear Controllers -- Nonlinear Systems: Approximating Reach Sets -- On Practical Stability and Stabilization of Hybrid and Switched Systems -- A Numerical Technique for Stability Analysis of Linear Switched Systems -- Asymptotic Stability and Boundedness of Delay Switching Diffusions -- Invited Contribution -- Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. |
| Record Nr. | UNISA-996465529403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings / / edited by Rajeev Alur, George Pappas
| Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings / / edited by Rajeev Alur, George Pappas |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 674 p.) |
| Disciplina | 004.19 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Special purpose computers Computer system failures Software engineering Computer logic Computer simulation Theory of Computation Special Purpose and Application-Based Systems System Performance and Evaluation Software Engineering Logics and Meanings of Programs Simulation and Modeling |
| ISBN |
1-280-30711-0
9786610307111 3-540-24743-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Papers -- Lazy Rectangular Hybrid Automata -- Affine Hybrid Systems -- Abstraction by Projection and Application to Multi-affine Systems -- Observability of Switched Linear Systems -- Inference Methods for Autonomous Stochastic Linear Hybrid Systems -- Synthesis for Idle Speed Control of an Automotive Engine -- Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways -- Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems -- A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems -- Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems -- Discrete and Hybrid Nonholonomy -- Approximations of the Rate of Growth of Switched Linear Systems -- The Hybrid Guaranteed Capture Basin Algorithm in Economics -- Staying Alive as Cheaply as Possible -- On O-Minimal Hybrid Systems -- Extended Stochastic Hybrid Systems and Their Reachability Problem -- On the Controllability of Bimodal Piecewise Linear Systems -- Observability of Piecewise-Affine Hybrid Systems -- Non-deterministic Temporal Logics for General Flow Systems -- Almost ASAP Semantics: From Timed Models to Timed Implementations -- Discrete State Estimators for a Class of Hybrid Systems on a Lattice -- Benchmarks for Hybrid Systems Verification -- On the Optimal Control of Switch-Mode DC-DC Converters -- Event-Driven Programming with Logical Execution Times -- A Stochastic Hybrid Model for Air Traffic Control Simulation -- Stochastic Hybrid Systems: Application to Communication Networks -- Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints -- Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems -- Sound Code Generation from Communicating Hybrid Models -- Multi-Parametric Toolbox (MPT) -- Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis -- Safety Verification of Hybrid Systems Using Barrier Certificates -- Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes -- A Spatial Logic for the Hybrid ?-Calculus -- Full Paper Sheet Control Using Hybrid Automata -- Constructing Invariants for Hybrid Systems -- Bisimulation of Dynamical Systems -- Control Design for a Hybrid Dynamic System: A NASA Life Support System -- Non-concurrent Error Detection and Correction in Switched Linear Controllers -- Nonlinear Systems: Approximating Reach Sets -- On Practical Stability and Stabilization of Hybrid and Switched Systems -- A Numerical Technique for Stability Analysis of Linear Switched Systems -- Asymptotic Stability and Boundedness of Delay Switching Diffusions -- Invited Contribution -- Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. |
| Record Nr. | UNINA-9910144203903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||