Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics ? Chuchu Fan1[0000−0003−4671−233X] , Umang Mathur1[0000−0002−7610−0660] , Sayan Mitra1[0000−0001−7082−5516] , and Mahesh Vi

Source URL: mitras.ece.illinois.edu

• Control theory
• Systems theory
• Control engineering
• Systems science
• Classical control theory
• Computational mathematics
• Mathematical modeling
• State-space representation

Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol Parasara Sridhar Duggirala1, Le Wang1 , Sayan Mitra1 , Mahesh Viswanathan1 , and C´esar Mu˜noz2 1

Source URL: publish.illinois.edu

• Symbol
• Continuous function
• Mathematics
• Ergodic theory
• Computability theory
• operator
• Ergodic flow

C2E2: A Verification Tool For Stateflow Models Parasara Sridhar Duggirala1 , Sayan Mitra2 , Mahesh Viswanathan1 , and Matthew Potok2 1 2

Source URL: publish.illinois.edu

• Systems theory
• Differential equations
• Metaphysics
• Control theory
• Hybrid system
• Mathematical analysis
• Dynamical system
• Mathematics
• Symbol
• Hybrid automaton

What do we know about the impact of microfinance? The problems of power and precision1 Mahesh Dahal and Nathan Fiala2 May 2018 Abstract Six randomized control trials were published simultaneously in one issue of an econo

Source URL: nathanfiala.com

Maelstrom: Transparent Error Correction for Lambda Networks Mahesh Balakrishnan, Tudor Marian, Ken Birman, Hakim Weatherspoon, Einar Vollset {mahesh, tudorm, ken, hweather, einar}@cs.cornell.edu Cornell University, Ithac

Source URL: fireless.cs.cornell.edu

Parikh’s Theorem for Weighted and Probabilistic Context-Free Grammars Vijay Bhattiprolu1 , Spencer Gordon2 , and Mahesh Viswanathan2 1 Carnegie Mellon University, Pittsburgh PA 15213, USA,

Source URL: vspvijay.com

GQBE: Querying Knowledge Graphs by Example Entity Tuples∗ Nandish Jayaram† Mahesh Gupta† Arijit Khan§ Chengkai Li† Xifeng Yan§ Ramez Elmasri† † University of Texas at Arlington, § University of California

Source URL: ranger.uta.edu

Gecko: A Contention-Oblivious Design for Cloud Storage Ji-Yong Shin∗, Mahesh Balakrishnan‡, Lakshmi Ganesh§, Tudor Marian†, Hakim Weatherspoon∗ ∗ Cornell University, ‡ Microsoft Research, § UT Austin, † G

Source URL: fireless.cs.cornell.edu

Exact Quantitative Probabilistic Model Checking Through Rational Search Matthew S. Bauer∗ , Umang Mathur∗ , Rohit Chadha† , A. Prasad Sistla‡ and Mahesh Viswanathan∗ ∗ University of Illinois at Urbana-Champa

Source URL: www.cs.utexas.edu