Amrith Dhananjayan

According to our database, Amrith Dhananjayan authored at least 8 papers between 2010 and 2015.

Collaborative distances:

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

2015

A Formal Transparency Framework for Validation of Real-Time Discrete-Event Control Requirements Modeled by Timed Transition Graphs.

Amrith Dhananjayan, Kiam Tian Seow

IEEE Trans. Hum. Mach. Syst., 2015

2014

A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control.

Amrith Dhananjayan, Kiam Tian Seow

IEEE Trans. Syst. Man Cybern. Syst., 2014

2013

On Specification Transparency: Toward A Formal Framework for Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata.

Manh Tung Pham, Amrith Dhananjayan, Kiam Tian Seow

IEEE Trans. Syst. Man Cybern. Syst., 2013

Lyapunov stability analysis of load balancing in datacenter networks.

Amrith Dhananjayan, Kiam Tian Seow, Chuan Heng Foh

Proceedings of the Workshops Proceedings of the Global Communications Conference, 2013

2012

A designer support framework for specification comprehensibility in automata-based discrete-event control design

Amrith Dhananjayan

PhD thesis, 2012

On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications.

Amrith Dhananjayan, Kiam Tian Seow

Proceedings of the ICINCO 2012 - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Rome, Italy, 28, 2012

Automating timed specification transparency for human designer validation of real-time discrete-event control requirements.

Amrith Dhananjayan, Kiam Tian Seow

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2010

On the transparency of automata as discrete-event control specifications.

Manh Tung Pham, Amrith Dhananjayan, Kiam Tian Seow

Proceedings of the IEEE International Conference on Robotics and Automation, 2010