Verification and control of hybrid systems : :: SCD d'Orléans

Verification and control of hybrid systems : a symbolic approach

Verification and control of hybrid systems : a symbolic approach

Hybrid systems describe the interaction of software, modeled by finite-state systems such as finite-state machines, with the physical world, described by infinite-state systems such as differential equations. Verification and Control of Hybrid Systems provides a unique systematic exposition of sever...

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
1. autor:	Tabuada, Paulo, 1975-
Format:	Livre numérique
Język:	Anglais
Wydane:	New York, NY : Springer US 2009. Cham : Springer Nature
Dostęp online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Komentarz:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Verification and control of hybrid systems, a symbolic approach, Paulo Tabuada, New York, Springer, 2009, 1 volume (xv-202 pages), 978-1-441-90223-8 • Verification and Control of Hybrid Systems, Texte imprimé, 9781441902306 • Verification and Control of Hybrid Systems, Texte imprimé, 9781441954985

Podobne zapisy

Hybrid systems III : verification and control

Safety Verification of Real-Time Control Systems with Flexible Timing
od: Gaukler, Maximilian
Wydane: (2025)

Symbolic Algebraic Methods and Verification Methods

Scalable Hardware Verification with Symbolic Simulation
od: Bertacco, Valeria
Wydane: (2006)

Qualité du béton - Essais, contrôles et vérifications
Wydane: (2016)

System Verification : Proving the Design Solution Satisfies the Requirements
od: Grady, Jeffrey O.
Wydane: (2016)

Guaranteed Verification of Dynamic Systems
od: Schwab, Stefan
Wydane: (2022)

Symbolic Simulation Methods for Industrial Formal Verification
od: Jones, Robert B.

System-on-a-Chip Verification : Methodology and Techniques
od: Rashinkar, Prakash, 1960, i wsp.

SystemVerilog for verification : a guide to learning the Testbench Language Features
od: Spear, Chris, 1968-, i wsp.
Wydane: (2012)

SystemVerilog for verification : a guide to learning the testbench language features
od: Spear, Chris, 1968-
Wydane: (2008)

La vérification
od: Granger, Gilles-Gaston, 1920-2016
Wydane: (1991)

La Vérification
od: Granger, Gilles-Gaston, 1920-2016
Wydane: (2022)

Simulation and Verification of Electronic and Biological Systems
Wydane: (2011)

Taxonomies for the Development and Verification of Digital Systems
Wydane: (2005)

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
od: Godefroid, Patrice, 19..-

Fault Tolerant Control Design for Hybrid Systems
od: Yang, Hao, 1982-, i wsp.
Wydane: (2010)

Constrained optimal control of linear and hybrid systems
od: Borrelli, Francesco, 19..-

Optimal Control of Hybrid Systems and Renewable Energies
Wydane: (2021)

Vérification, validation et test des systèmes complexes
Wydane: (2026)

Le contrôle du travail : de la vérification de la conformité des opérations au blocage des initiatives
od: Zarifian, Philippe
Wydane: (2011)

Modelling and Analysis of Hybrid Supervisory Systems : A Petri Net Approach
od: Villani, Emilia, i wsp.
Wydane: (2007)

Professional Verification : A Guide to Advanced Functional Verification
od: Wilcox, Paul

A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
od: Mendoza Cervantes, Francisco
Wydane: (2021)

Verification Plans : The Five-Day Verification Strategy for Modern Hardware Verification Languages
od: James, Peet

Control of Nonlinear and Hybrid Process Systems : Designs for Uncertainty, Constraints and Time-Delays
od: Christofides, Panagiotis D., 19..-

High-Level Verification : Methods and Tools for Verification of System-Level Designs
od: Kundu, Sudipta, i wsp.
Wydane: (2011)

General hybrid orthogonal functions and their applications in systems and control
od: Patra, Amit, 1962-, i wsp.

Compositional Verification of Concurrent and Real-Time Systems
od: Juan, Eric Y. T., i wsp.

Specification and compositional verification of real-time systems
od: Hooman, Jozef, 19..-

-Pomset pour la modélisation et la vérification de systèmes parallèles
od: Sakho, Mouhamadou Tafsir, 1981-
Wydane: (2014)

Méthodes formelles pour la vérification des systèmes embarqués
Wydane: (2013)

Next generation design and verification methodologies for distributed embedded control systems : proceedings of the GM R&D Workshop, Bangalore, India, January 2007
od: Ramesh, Sethu, 19..-, i wsp.

Learning, control, and hybrid systems : festschrift in honor of Bruce Allen Francis and Mathukumalli Vidyasagar on the occasion of their 50th birthdays

Viability of hybrid systems : a controllability operator approach
od: Labinaz, Gino, i wsp.
Wydane: (2012)

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
od: Singh, Leena, 1971, i wsp.

Computer-Aided Verification : A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Formal hardware verification : methods and systems in comparison
od: Kropf, Thomas, 1961-

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
od: Müller-Olm, Markus, 19..-

Design and Verification of Microprocessor Systems for High-Assurance Applications
od: Hardin, David S.
Wydane: (2010)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales