HYBRID 1998 - PDF Preprint Papers

HYBRID 1998 Hybrid Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed HYBRID-1998 Paper

click to vote

HYBRID
1998
Springer

149views Control Systems» more HYBRID 1998»

Formal Verification of Safety-Critical Hybrid Systems

13 years 8 months ago

Download people.csail.mit.edu

This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....

Carolos Livadas, Nancy A. Lynch

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	149	Formal Verification of Safety-Critical Hybrid Systems	claim
2	148	Hybrid Control of Automotive Powertrain Systems: A Case Study	claim
3	133	A Novel Modular Neural Architecture for Rule-Based and Similarity-Based Reasoning	claim
4	132	High Order Eigentensors as Symbolic Rules in Competitive Learning	claim
5	129	On the Composition of Hybrid Systems	claim
6	123	Large Patterns Make Great Symbols: An Example of Learning from Example	claim
7	122	Hybrid cc with Interval Constraints	claim
8	121	Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance	claim
9	114	Stabilization of Systems with Changing Dynamics	claim
10	112	A Connectionist Simulation of the Empirical Acquisition of Grammatical Relations	claim
11	110	Equations on Timed Languages	claim
12	106	Reachability Analysis via Face Lifting	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers