Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

HYBRID
1999
Springer

favoriteEmaildiscussreport

157views Control Systems» more HYBRID 1999»

Verification of Hybrid Systems via Mathematical Programming

13 years 8 months ago

Verification of Hybrid Systems via Mathematical Programming

Download www.cs.unipr.it

Alberto Bemporad, Manfred Morari

Real-time Traffic

Control Systems | HYBRID 1999 |

claim paper

Related Content

» Hybrid type checking

» Real World Verification

» Realistic WorstCase Execution Time Analysis in the Context of Pervasive System Verificatio...

» A formalization of an Ordered Logical Framework in Hybrid with applications to continuatio...

» Timed IO Automata A Mathematical Framework for Modeling and Analyzing RealTime Systems

» Differential Dynamic Logic for Hybrid Systems

» Nominal System T

» A Hybrid Denotational Semantics for Hybrid Systems

» Behavior verification of hybrid realtime requirements by qualitative formalism

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1999
Where	HYBRID
Authors	Alberto Bemporad, Manfred Morari

Comments (0)