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: Computation and Control [[electronic resource] ] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings / / edited by Freek Wiedijk, Oded Maler, Amir Pnueli
| Hybrid Systems: Computation and Control [[electronic resource] ] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings / / edited by Freek Wiedijk, Oded Maler, Amir Pnueli |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 564 p.) |
| Disciplina | 004.1/9 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Special purpose computers Microprocessors Software engineering Computer logic Theory of Computation Special Purpose and Application-Based Systems Processor Architectures Software Engineering Computation by Abstract Devices Logics and Meanings of Programs |
| ISBN | 3-540-36580-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstracts of Invited Presentations -- The Mathematics of Matter and the Mathematics of Mind -- A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal -- Developing Home Robotics Products: Challenges and Lessons Learned -- Regular Contributions -- Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction -- Reachability Analysis of Nonlinear Systems Using Conservative Approximation -- Mode Reconstruction for Source Coding and Multi-modal Control -- Hybrid Control Design for a Wheeled Mobile Robot -- Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems -- Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions -- A Greedy Approach to Identification of Piecewise Affine Models -- A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems -- Reachability Questions in Piecewise Deterministic Markov Processes -- Automatic Verification of a Turbogas Control System with the Mur? Verifier -- Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System -- Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators -- Conditions of Optimal Classification for Piecewise Affine Regression -- Approximate Stabilisation of Uncertain Hybrid Systems -- Efficient Mode Enumeration of Compositional Hybrid Systems -- Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata -- Modelling, Well-Posedness, and Stability of Switched Electrical Networks -- Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach -- On Systematic Simulation of Open Continuous Systems -- Estimation of Distributed Hybrid Systems Using Particle Filtering Methods -- Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions -- On the Causality of Mixed-Signal and Hybrid Models -- Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata -- Multi-object Adaptive Cruise Control -- Universality and Language Inclusion for Open and Closed Timed Automata -- On the Application of Hybrid Control to CPU Reservations -- Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback -- Qualitative Heterogeneous Control of Higher Order Systems -- The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems -- Hybrid Modelling and Control of Power Electronics -- On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, and Location Schedules -- Efficient Representation and Computation of Reachable Sets for Hybrid Systems -- Model Checking LTL over Controllable Linear Systems Is Decidable -- Approximate Reachability for Linear Systems -- Observability of Linear Hybrid Systems -- Results and Perspectives on Computational Methods for Optimal Control of Switched Systems. |
| Record Nr. | UNISA-996465505303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Perspectives of Systems Informatics [[electronic resource] ] : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers / / edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov
| Perspectives of Systems Informatics [[electronic resource] ] : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers / / edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 426 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Computer programming Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Programming Techniques |
| ISBN |
1-280-38552-9
9786613563446 3-642-11486-5 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking (Extended Abstract) -- Invariants, Modularity, and Rights -- Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+ -- A Two-Level Approach for Modeling and Verification of Telecommunication Systems -- SVM Paradoxes -- Indexing Dense Nested Metric Spaces for Efficient Similarity Search -- On the Containment Problem for Queries in Conjunctive Form with Negation -- Towards a Scalable, Pragmatic Knowledge Representation Language for the Web -- An Experiment with the Fourth Futamura Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols -- Proving the Equivalence of Higher-Order Terms by Means of Supercompilation -- Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams -- Applicability of the BLAST Model Checker: An Industrial Case Study -- ? K –constraints for Hybrid Systems -- A Complete Invariant Generation Approach for P-solvable Loops -- Standardization and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases -- Cryptographic Protocols Analysis in Event B -- A Query Language for Logic Architectures -- Planet Map Generation by Tetrahedral Subdivision -- Towards Checking Parametric Reachability for UML State Machines -- A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems -- A Technique for Information Retrieval from Microformatted Websites -- From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research -- History-Dependent Stochastic Petri Nets -- Privacy Preserving Modules for Ontologies -- Symbolic Bounded Conformance Checking of Model Programs -- Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture -- Anti-unification Algorithms and Their Applications in Program Analysis. |
| Record Nr. | UNISA-996465319503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Temporal Logic in Specification [[electronic resource] ] : Altrincham, UK, April 8-10, 1987, Proceedings / / edited by Behnam Banieqbal, Howard Barringer, Amir Pnueli
| Temporal Logic in Specification [[electronic resource] ] : Altrincham, UK, April 8-10, 1987, Proceedings / / edited by Behnam Banieqbal, Howard Barringer, Amir Pnueli |
| Edizione | [1st ed. 1989.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Descrizione fisica | 1 online resource (VIII, 452 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer logic Mathematical logic Algorithms Software engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Software Engineering |
| ISBN | 3-540-46811-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Comparing linear and branching time temporal logics -- Interleaving set temporal logic -- An expressive logic for a process algebra with silent actions -- Temporal logic with fixed points -- On the relation of programs and computations to models of temporal logic -- Specification and verification of concurrent programs by ?-automata -- MCTL — An extension of CTL for modular verification of concurrent systems -- The model checking problem for concurrent systems with many similar processes -- Unified verification theory -- Specifying message passing systems requires extending temporal logic -- Extending interval logic to real time systems -- The prescription and description of state based systems -- Enforcing nondeterminism via linear time temporal logic specifications using hiding -- Specifying communicating systems with temporal logic -- Abstract object types: A temporal perspective -- Compositionality and modularity in process specification and design: A trace-state based approach -- Using temporal logic for prototyping: The design of a lift controller -- The declarative past and imperative future. |
| Record Nr. | UNISA-996465730103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Temporal Logic of Reactive and Concurrent Systems [[electronic resource] ] : Specification / / by Zohar Manna, Amir Pnueli
| The Temporal Logic of Reactive and Concurrent Systems [[electronic resource] ] : Specification / / by Zohar Manna, Amir Pnueli |
| Autore | Manna Zohar |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (XIV, 427 p.) |
| Disciplina | 004.6 |
| Soggetto topico |
Special purpose computers
Computer communication systems Computer logic Special Purpose and Application-Based Systems Computer Communication Networks Logics and Meanings of Programs |
| ISBN | 1-4612-0931-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I: Models of Concurrency -- 1: Basic Models -- 2: Modeling Real Concurrency -- II: Specifications -- 3: Temporal Logic -- 4: Properties of Programs -- References -- Index to Symbols -- General Index. |
| Record Nr. | UNINA-9910480246703321 |
Manna Zohar
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Temporal Logic of Reactive and Concurrent Systems [[electronic resource] ] : Specification / / by Zohar Manna, Amir Pnueli
| The Temporal Logic of Reactive and Concurrent Systems [[electronic resource] ] : Specification / / by Zohar Manna, Amir Pnueli |
| Autore | Manna Zohar |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (XIV, 427 p.) |
| Disciplina | 004.6 |
| Soggetto topico |
Special purpose computers
Computer communication systems Computer logic Special Purpose and Application-Based Systems Computer Communication Networks Logics and Meanings of Programs |
| ISBN | 1-4612-0931-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I: Models of Concurrency -- 1: Basic Models -- 2: Modeling Real Concurrency -- II: Specifications -- 3: Temporal Logic -- 4: Properties of Programs -- References -- Index to Symbols -- General Index. |
| Record Nr. | UNINA-9910789343803321 |
|
Manna Zohar
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Temporal Logic of Reactive and Concurrent Systems : Specification / / by Zohar Manna, Amir Pnueli
| The Temporal Logic of Reactive and Concurrent Systems : Specification / / by Zohar Manna, Amir Pnueli |
| Autore | Manna Zohar |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (XIV, 427 p.) |
| Disciplina | 004.6 |
| Soggetto topico |
Computers, Special purpose
Computer networks Computer science Special Purpose and Application-Based Systems Computer Communication Networks Computer Science Logic and Foundations of Programming |
| ISBN | 1-4612-0931-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I: Models of Concurrency -- 1: Basic Models -- 2: Modeling Real Concurrency -- II: Specifications -- 3: Temporal Logic -- 4: Properties of Programs -- References -- Index to Symbols -- General Index. |
| Record Nr. | UNINA-9910973855003321 |
|
Manna Zohar
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||