|
Search the dblp DataBase
Meeko Oishi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Meeko Oishi, Claire Tomlin, Vipin Gopal, Datta N. Godbole
Addressing Multiobjective Control: Safety and Performance through Constrained Optimization. [Citation Graph (0, 0)][DBLP] HSCC, 2001, pp:459-472 [Conf]
- Meeko Oishi
Interface Verification: Discrete Abstractions of Hybrid Systems. [Citation Graph (0, 0)][DBLP] SARA, 2002, pp:340-341 [Conf]
- Claire Tomlin, Ian Mitchell, Alexandre M. Bayen, Meeko Oishi
Computational techniques for the verification of hybrid systems. [Citation Graph (0, 0)][DBLP] Proceedings of the IEEE, 2003, v:91, n:7, pp:986-1001 [Journal]
Schur-based decomposition for reachability analysis of linear time-invariant systems. [Citation Graph (, )][DBLP]
Reachability analysis for continuous systems under shared control: Application to user-interface design. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|