Amrith Dhananjayan

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Dynamical Systems

Crisis Response

Finite Automata

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

GLOBECOM Workshops

Publications

Amrith Dhananjayan, Kiam Tian Seow
A Formal Transparency Framework for Validation of Real-Time Discrete-Event Control Requirements Modeled by Timed Transition Graphs. IEEE Trans. Hum. Mach. Syst. 45 (3) (2015)
Amrith Dhananjayan, Kiam Tian Seow
A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control. IEEE Trans. Syst. Man Cybern. Syst. 44 (9) (2014)
Amrith Dhananjayan, Kiam Tian Seow, Chuan Heng Foh
Lyapunov stability analysis of load balancing in datacenter networks. GLOBECOM Workshops (2013)
Manh Tung Pham, Amrith Dhananjayan, Kiam Tian Seow
On Specification Transparency: Toward A Formal Framework for Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata. IEEE Trans. Syst. Man Cybern. Syst. 43 (1) (2013)
Amrith Dhananjayan, Kiam Tian Seow
Automating timed specification transparency for human designer validation of real-time discrete-event control requirements. CASE (2012)
Amrith Dhananjayan, Kiam Tian Seow
On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications. ICINCO (1) (2012)
Manh Tung Pham, Amrith Dhananjayan, Kiam Tian Seow
On the transparency of automata as discrete-event control specifications. ICRA (2010)