Algorithms for chattering approximations to relaxed optimal controls X Ge, A Nerode, W Kohn, JB Remmel Mathematical Sciences Institute, Cornell University 95 (1), 1995 | 29 | 1995 |
On extreme points of convex compact Turing located set X Ge, A Nerode International Symposium on Logical Foundations of Computer Science, 114-128, 1994 | 27 | 1994 |
Hybrid systems: Chattering approximation to relaxed controls X Ge, W Kohn, A Nerode, JB Remmel Hybrid Systems III: Verification and Control 3, 76-100, 1996 | 25 | 1996 |
Effective content of the calculus of variations I: semi-continuity and the chattering lemma X Ge, A Nerode Annals of Pure and Applied Logic 78 (1-3), 127-146, 1996 | 18 | 1996 |
A mathematical framework for asynchronous, distributed, decision-making systems with semi-autonomous entities: Algorithm synthesis, simulation, and evaluation TS Lee, S Ghosh, J Liu, X Ge, A Nerode, W Kohn IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and …, 2000 | 13 | 2000 |
Computability in unitary representations of compact groups X Ge, JI Richards Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday, 386-421, 1993 | 10 | 1993 |
Feedback Derivations: Near Optimal Controls for Hybrid Systems X Ge, W Kohn, A Nerode, JB Remmel Hybrid Systems III, Springer Lecture Notes in Computer Science, 0 | 10 | |
A multiple agent hybrid control architecture for automated forces: Design and software implementation X Ge, A Nerode, J James Mathematical Sciences Institute, Cornell University 95 (8), 1995 | 7 | 1995 |
A mathematical framework for asynchronous, decentralized, decision-making algorithm with semi-autonomous entities: Synthesis, simulation, and evaluation T Lee, S Ghosh, J Lu, X Ge, A Nerode, W Kohn IEICE Transactions on Fundamentals, 1381-1395, 1994 | 7* | 1994 |
Some algorithms in Euclidean space and group representations. X Ge | 5 | 1994 |
A semi-autonomous multiagent decision model for a battlefield environment J Lu, X Ge, W Kohn, A Nerode, N Coleman MSI Technical Report, 1994 | 4 | 1994 |
Distributed intelligent control theory of hybrid systems X Ge, A Nerode, W Kohn, J James Fifth Annual Conference on AI, and Planning in High Autonomy Systems, 12-15, 1994 | 2 | 1994 |
On Turning Located Sets X Ge, A Nerode Mathematical Sciences Institute, Cornell University 92 (39), 1992 | 2 | 1992 |
Regular Section-PAPERS-Systems and Control-A Mathematical Framework for Asynchronous, Distributed, Decision-Making Systems with Semi-Autonomous Entities: Algorithm Synthesis … TS Lee, S Ghosh, J Liu, X Ge, A Nerode, W Kohn IEICE Transactions on Fundamentals Electronics Communications and Computer …, 2000 | | 2000 |
Computability in Unitary Representations of GE Xiaolin, JI RICHARDS Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday 12, 386, 1994 | | 1994 |
Multiple Agent Hybrid Control: To Optimal Control Manifolds and Chattering Approximation A Nerode, W Kohn, JB Remmel, X Ge IEEE CONFERENCE ON DECISION AND CONTROL 4 (33), 4221-4221, 1994 | | 1994 |
Logical methods in mathematics and computer science: A symposium in honor of Anil Nerode's sixtieth birthday RA Shore The Journal of Symbolic Logic 58 (3), 1091-1092, 1993 | | 1993 |