scientific article; zbMATH DE number 1955878

MaRDI QIDQ4417546zbMATH OpenFDO

Authors Inseok Hwang, Hamsa Balakrishnan, Ronojoy Ghosh, Claire Tomlin

Publication date 29 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2552/25520715.htm

Mathematics Subject Classification ID

Biomedical imaging and signal processing (92C55)

Recommendations

• scientific article; zbMATH DE number 2085314
• scientific article; zbMATH DE number 1956618
• scientific article; zbMATH DE number 1956633
• scientific article; zbMATH DE number 1956582
• Counterexample-guided predicate abstraction of hybrid systems

Cited in

(6)

• Static analysis and stochastic search for reachability problem
• Description of the attainable sets of one-dimensional differential inclusions
• Algorithm of uniform filling of nonlinear dynamic system reachable set based on maximin problem solution
• scientific article; zbMATH DE number 1956633 (Why is no real title available?)
• scientific article; zbMATH DE number 1798190 (Why is no real title available?)
• scientific article; zbMATH DE number 2085314 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417546)