Authors

Authors (2007)

Cached

Download Links

by Thao Dang , Alexandre Donze , Oded Maler , Dejan Nickovic , Amir Pnueli

BibTeX

@MISC{Dang07authors,
    author = {Thao Dang and Alexandre Donze and Oded Maler and Dejan Nickovic and Amir Pnueli},
    title = {Authors},
    year = {2007}
}

Bookmark

OpenURL

Abstract

Project co-funded by the European Commission within the Sixth Framework Programme (2002-2006)

Citations

2827	Reinforcement Learning: An Introduction - Sutton, Barto - 1998
2026	Model Checking - Clarke, Grumberg, et al. - 2000
1965	Dynamic Programming - Bellman - 1957
496	The Control of Discrete Event Systems - Ramadge, Wonham - 1989
495	Using SEDUMI 1.02, a Matlab toolbox for optimizations over symmetric cones - Sturm - 1999
390	W.: Supervisory control of a class of discrete event processes - Ramadge, Wonham - 1987
330	Temporal Difference Learning and TDGammon - Tesauro - 1995
266	R.: On the synthesis of a reactive module - Pnueli, Rosner - 1989
232	A New Approach to Manipulator control: the Cerebellar Model Articulation Controller - Albus - 1975
201	An Old-Fashioned Recipe for Real Time - Abadi, Lamport - 1991
174	T.: The benefits of relaxing punctuality - Alur, Feder, et al. - 1996
163	Specifying Real-Time Properties with Metric Temporal Logic - Koymans - 1990
161	On the synthesis of discrete controllers for timed systems (an extended abstract - Maler, Pnueli, et al. - 1995
146	Discrete abstractions of hybrid systems - Alur, Henzinger, et al.
137	From timed to hybrid systems - Maler, Manna, et al. - 1992
125	Structured semidefinite programs and semialgebraic geometry methods - Parrilo
98	Symbolic controller synthesis for discrete and timed systems - Asarin, Maler, et al. - 1995
96	Approximate reachability analysis of piecewise-linear dynamical systems - Asarin, Bournez, et al. - 2000
83	Reinforcement learning in continuous time and space - Doya - 2000
83	PHAVer: Algorithmic verification of hybrid systems past hytech - Frehse - 2008
77	Temporal Verification of Reactive Systems - Manna, Pnueli - 1995
75	Finite Automata, Behavior and Synthesis - Trakhtenbrot, Barzdin - 1973
67	The Algorithmic Analysis of Hybrid Systems, Theoretical Computer Science 138 - Alur, Courcoubetis, et al. - 1995
67	Modeling and Control of Logical Discrete Event Systems - Kumar, Garg - 1995
61	Logic, arithmetic and automata - Church - 1963
58	The synthesis of controllers for linear hybrid automata - Wong-Toi - 1997
55	As soon as possible: Time optimal control for timed automata - Asarin, Maler
48	Reachability of uncertain linear systems using zonotopes - Girard - 2005
39	Bisimilar linear systems - Pappas - 2003
36	A metric for labelled Markov processes - Desharnais, Gupta, et al. - 2004
35	D.: Efficient on-the-fly algorithms for the analysis of timed games - Cassez, David, et al.
35	Reinforcement Learning Using Neural Networks, with Applications to Motor Control - Coulom - 2002
35	A Survey of Model. Reduction Methods for Large-scale Systems - Antoulas, Sorensen, et al. - 2001
32	The control of dense real-time discrete event systems - Wong-Toi, Hoffmann - 1991
32	On the construction of Lyapunov functions using the sum of squares decomposition - Papachristodoulou, Prajna - 2002
31	Synthesizing controllers for nonlinear hybrid systems - Tomlin, Lygeros, et al. - 1998
29	Orthogonal polyhedra: Representation and computation - Bournez, Maler, et al. - 1999
25	Universal construction of feedback laws achieving ISS and integral-ISS disturbance attenuation - Liberzon, Sontag, et al.
21	Verification of analog and mixed-signal circuits using hybrid systems techniques - Dang, Donze, et al. - 2004
21	Bisimulation relations for dynamical, control and hybrid systems - Haghverdi, Tabuada, et al. - 2005
20	H.: Quantitative relations and approximate process equivalences - Pierro, Hankin, et al. - 2003
18	Linear and Branching Metrics for Quantitative Transition Systems”. Pages 97–109 of: ICALP ’04 - Alfaro, Faella, et al.
13	Solving sequential conditions by finite-state operators - Büchi, Landweber - 1969
12	On the convergence of optimistic policy iteration - Tsitsiklis - 2002
12	Verification of Polyhedral Invariant Hybrid Automata using - Chutinan, Krogh - 1999
11	An intrinsic characterization of approximate probabilistic bisimilarity - Breugel, Mislove, et al.
10	Scheduling with timed automata , Theoretical Computer Science 354 - Abdeddaim, Asarin, et al. - 2006
10	Ccs expressions, finite-state processes, and three problems of equivalence - Kanellakis, Smolka - 1990
9	T.: Non-deterministic temporal logics for general flow systems - Davoren, Coulthard, et al. - 2004
7	Toward an approximation theory for computerized control - Caspi, Benveniste - 2002