Abstractions for hybrid systems (Q2475634)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Abstractions for hybrid systems	scientific article

Statements

scholarly article

0 references

Abstractions for hybrid systems (English)

0 references

Formal Methods in System Design

0 references

publication date

11 March 2008

0 references

zbMATH Keywords

Hybrid systems

0 references

Predicate abstraction

0 references

Qualitative simulation

0 references

describes a project that uses

0 references

Ashish Kumar Tiwari

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s10703-007-0044-3

0 references

The algorithmic analysis of hybrid systems

0 references

0 references

0 references

Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings.

0 references

0 references

Verification of infinite-state dynamic systems using approximate quotient transition systems

0 references

0 references

Tools and algorithms for the construction and analysis of systems. 9th international conference TACAS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7--11, 2003. Proceedings

0 references

0 references

0 references

Algorithmic analysis of nonlinear hybrid systems

0 references

What's decidable about hybrid automata?

0 references

0 references

Symbolic reachability computation for families of linear vector fields

0 references

0 references

Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings

0 references

An improved projection operation for cylindrical algebraic decomposition of three-dimensional space

0 references

Predicate Abstraction for Dense Real-Time Systems1 1This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096 and by NASA Langley Research Center under contract B09060051 and Cooperative Agreement NCC-1-399 with Honeywell Minneapolis. Most of this research has been conducted while the first author was visiting SRI International, July/August 2001.

0 references

Barrier certificates for nonlinear model validation

0 references

Hybrid Systems: Computation and Control

0 references

Proving properties of continuous systems: Qualitative simulation and temporal logic

0 references

0 references

0 references

0 references

Hybrid Systems: Computation and Control

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/s10703-007-0044-3

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2475634

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2475634&oldid=35042173"