85 citations · 354 across the 71 of their papers we have counts for
6 papers · 1 filter
Counterexample-guided Planning
Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala +1
Planning in adversarial and uncertain environments can be modeled as the problem of devising strategies in stochastic perfect information games. These games are generalizations of…
Backstepping controller synthesis and characterizations of incremental stability
Majid Zamani, Nathan van de Wouw, Rupak Majumdar
Incremental stability is a property of dynamical and control systems, requiring the uniform asymptotic stability of every trajectory, rather than that of an equilibrium point or a…
Synthesis of Minimal Error Control Software
Rupak Majumdar, Indranil Saha, Majid Zamani
Software implementations of controllers for physical systems are at the core of many embedded systems. The design of controllers uses the theory of dynamical systems to construct a…
Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games
Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar
We introduce games with probabilistic uncertainty, a natural model for controller synthesis in which the controller observes the state of the system through imprecise sensors that…
Asymptotic stability implies the existence of a local polynomial Lyapunov function
M. Rungger, J. Kloos, R. Majumdar
We show that every globally asymptotically stable system with a twice continuously differentiable vector field admits a local polynomial Lyapunov function on an arbitrary bounded n…
A Perfect Model for Bounded Verification
Javier Esparza, Pierre Ganty, Rupak Majumdar
A class of languages C is perfect if it is closed under Boolean operations and the emptiness problem is decidable. Perfect language classes are the basis for the automata-theoretic…