Showing results 1 to 2 of 2
| Title | Author(s) | Issue Date | |
|---|---|---|---|
Formal approach to reactive system design: unmanned aerial vehicle flight management system design example Proceeding/Conference:Proceedings of the IEEE International Symposium on Computer-Aided Control System Design | 1999 | ||
Hierarchical hybrid system model and its simulation Proceeding/Conference:Proceedings of the IEEE Conference on Decision and Control | 1999 |