Browse Research and Tech Reports - Computer Science by Author "Viswanathan, Mahesh"

  • Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A. (2004-12)
    Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operators and unbounded until formulas. In this ...

    application/pdf

    application/pdfPDF (230Kb)
  • Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh (2009-02)
    The continuous run-time monitoring of the behavior of a system is a technique that is used both as a complementary approach to formal verification and testing to ensure reliability, as well as a means to discover emergent ...

    application/pdf

    application/pdfPDF (368Kb)
  • Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh (2009-02)
    The continuous run-time monitoring of the behavior of a system is a technique that is used both as a complementary approach to formal verification and testing to ensure reliability, as well as a means to discover emergent ...

    application/pdf

    application/pdfPDF (368Kb)
  • Kini, Dileep; Viswanathan, Mahesh (2015)
    LTL\GU is a fragment of linear temporal logic (LTL), where negations appear only on propositions, and formulas are built using the temporal operators X (next), F (eventually), G (always), and U (until, with the restriction ...

    application/pdf

    application/pdfPDF (368Kb)
  • Hendrix, Joe; Ohsaki, Hitoshi; Viswanathan, Mahesh (2006-02)
    In the paper, we introduce a new tree automata framework, called propositional tree automata, capturing the class of tree languages that are closed under an equational theory and Boolean operations. This framework originates ...

    application/pdf

    application/pdfPDF (307Kb)
  • Korthikanti, Vijay Anand; Viswanathan, Mahesh; Kwon, YoungMin; Agha, Gul A. (2010)
    We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as exhibiting a behavior that is a sequence of ...

    application/pdf

    application/pdfPDF (404Kb)
  • Roohi, Nima; Viswanathan, Mahesh (Springer, 2014-06-23)
    Initialized hybrid automata with linear differential inclusions and rectangular constraints are hybrid automata where the invariants, guards, resets, and initial values are given by rectangular constraints, the flows are ...

    application/pdf

    application/pdfPDF (1Mb)
  • Sobeih, Ahmed A.; d'Amorim, Marcelo; Viswanathan, Mahesh; Marinov, Darko; Hou, Jennifer C. (2007-08)
    Verification and Validation (V&V) is a critically important phase in the development life cycle of a simulation model. In the context of network simulation, traditional network simulators perform well in using a simulation ...

    application/pdf

    application/pdfPDF (298Kb)