Latticed Simulation Relations and Games

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75596-8_23 ◽

2007 ◽

pp. 316-330 ◽

Author(s):

Orna Kupferman ◽

Yoad Lustig

Keyword(s):

Simulation Relations

Download Full-text

Verification of a multiprocessor cache protocol using simulation relations and higher-order logic

Formal Methods in System Design ◽

10.1007/bf00709156 ◽

1992 ◽

Vol 1 (4) ◽

pp. 355-383 ◽

Author(s):

Paul N. Loewesstein ◽

David L. Dill

Keyword(s):

Higher Order ◽

Order Logic ◽

Higher Order Logic ◽

Simulation Relations

Download Full-text

Characterizing Fault-Tolerant Systems by Means of Simulation Relations

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-38613-8_29 ◽

2013 ◽

pp. 428-442 ◽

Author(s):

Ramiro Demasi ◽

Pablo F. Castro ◽

Thomas S. E. Maibaum ◽

Nazareno Aguirre

Keyword(s):

Fault Tolerant ◽

Fault Tolerant Systems ◽

Simulation Relations

Download Full-text

Simulation Relations for Alternating Parity Automata and Parity Games

Developments in Language Theory - Lecture Notes in Computer Science ◽

10.1007/11779148_7 ◽

2006 ◽

pp. 59-70 ◽

Author(s):

Carsten Fritz ◽

Thomas Wilke

Keyword(s):

Parity Games ◽

Simulation Relations

Download Full-text

Language Solving Using Simulation Relations

The Unknown Component Problem ◽

10.1007/978-0-387-68759-9_13 ◽

2011 ◽

pp. 211-225

Author(s):

Tiziano Villa ◽

Nina Yevtushenko ◽

Robert K. Brayton ◽

Alan Mishchenko ◽

Alexandre Petrenko ◽

...

Keyword(s):

Simulation Relations

Download Full-text

On Simulation Relations of Boolean Control Networks

2018 Annual American Control Conference (ACC) ◽

10.23919/acc.2018.8431773 ◽

2018 ◽

Author(s):

Rui Li ◽

Xuecheng Yu ◽

Tianguang Chu

Keyword(s):

Control Networks ◽

Simulation Relations

Download Full-text

Hierarchical Control using Approximate Simulation Relations

Proceedings of the 45th IEEE Conference on Decision and Control ◽

10.1109/cdc.2006.377051 ◽

2006 ◽

Author(s):

Antoine Girard ◽

George J. Pappas

Keyword(s):

Hierarchical Control ◽

Simulation Relations ◽

Approximate Simulation

Download Full-text

Bisimulation and Simulation Relations for Markov Chains

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2005.12.078 ◽

2006 ◽

Vol 162 ◽

pp. 73-78 ◽

Author(s):

Christel Baier ◽

Holger Hermanns ◽

Joost-Pieter Katoen ◽

Verena Wolf

Keyword(s):

Markov Chains ◽

Simulation Relations

Download Full-text

A connection between simulation relations and feedback transformations in nonlinear control systems

Systems & Control Letters ◽

10.1016/j.sysconle.2012.03.004 ◽

2012 ◽

Vol 61 (5) ◽

pp. 631-637 ◽

Author(s):

Kevin A. Grasse

Keyword(s):

Nonlinear Control ◽

Control Systems ◽

Nonlinear Control Systems ◽

Simulation Relations

Download Full-text

Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata

SIAM Journal on Computing ◽

10.1137/s0097539703420675 ◽

2005 ◽

Vol 34 (5) ◽

pp. 1159-1175 ◽

Author(s):

Kousha Etessami ◽

Thomas Wilke ◽

Rebecca A. Schuller

Keyword(s):

State Space ◽

Space Reduction ◽

Büchi Automata ◽

Parity Games ◽

Simulation Relations ◽

Buchi Automata ◽

State Space Reduction

Download Full-text

Simulation Relations and Controllability Properties of Linear and Nonlinear Control Systems

SIAM Journal on Control and Optimization ◽

10.1137/130949646 ◽

2015 ◽

Vol 53 (3) ◽

pp. 1346-1374 ◽

Author(s):

Kevin A. Grasse ◽

Nancy Ho

Keyword(s):

Nonlinear Control ◽

Control Systems ◽

Nonlinear Control Systems ◽

Linear And Nonlinear ◽

Simulation Relations

Download Full-text