Ronojoy Ghosh

According to our database, Ronojoy Ghosh authored at least 8 papers between 2000 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

A query-based technique for interpreting reachable sets for hybrid automaton models of protein feedback signaling.

Ronojoy Ghosh, Claire J. Tomlin

Proceedings of the American Control Conference, 2005

2004

An algorithm for reachability computations on hybrid automata models of protein signaling networks.

Ronojoy Ghosh, Claire J. Tomlin

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003

Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata.

Ronojoy Ghosh, Ashish Tiwari, Claire J. Tomlin

Proceedings of the Hybrid Systems: Computation and Control, 2003

2002

Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction.

Inseok Hwang, Hamsa Balakrishnan, Ronojoy Ghosh, Claire J. Tomlin

Proceedings of the High Performance Computing, 2002

A hybrid system model of planar cell polarity signaling in Drosophila melanogaster wing epithelium.

Ronojoy Ghosh, Keith Amonlirdviman, Claire J. Tomlin

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001

Safety verification of conflict resolution manoeuvres.

Claire J. Tomlin, Ian Mitchell, Ronojoy Ghosh

IEEE Trans. Intell. Transp. Syst., 2001

Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model.

Ronojoy Ghosh, Claire J. Tomlin

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

2000

Maneuver design for multiple aircraft conflict resolution.

Ronojoy Ghosh, Claire J. Tomlin

Proceedings of the American Control Conference, 2000