Automatic Rectangular Refinement of Affine Hybrid Systems | Zendy

Laurent Doyen | Zendy; Thomas A. Henzinger | Zendy; Jean-François Raskin | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Automatic Rectangular Refinement of Affine Hybrid Systems

Author(s) -

Laurent Doyen,

Thomas A. Henzinger,

Jean-François Raskin

Publication year - 2005

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-30946-2

DOI - 10.1007/11603009_13

Subject(s) - automaton , benchmark (surveying) , hybrid automaton , computer science , affine transformation , hybrid system , algorithm , sequence (biology) , state space , property (philosophy) , construct (python library) , differential (mechanical device) , theoretical computer science , mathematics , pure mathematics , programming language , engineering , philosophy , statistics , geodesy , epistemology , machine learning , aerospace engineering , biology , genetics , geography

SCOPUS: cp.kinfo:eu-repo/semantics/published3rd International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2005; Uppsala; Sweden; 26 September 2005 through 28 September 2005

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research