How to Compute the Refinement Relation for Parameterized Systems

Formal Methods and Models for System Design ◽

10.1007/978-1-4020-8052-4_8 ◽

2004 ◽

pp. 181-209

Author(s):

Françoise Bellegarde ◽

Célina Charlet ◽

Olga Kouchnarenko

Keyword(s):

Parameterized Systems ◽

Refinement Relation

Download Full-text

How to compute the refinement relation for parameterized systems

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. ◽

10.1109/memcod.2003.1210095 ◽

2003 ◽

Author(s):

F. Bellegarde ◽

C. Charlet ◽

O. Kouchnarenko

Keyword(s):

Parameterized Systems ◽

Refinement Relation

Download Full-text

Contraction based adaptive control for a class of nonlinearly parameterized systems

2013 American Control Conference ◽

10.1109/acc.2013.6580234 ◽

2013 ◽

Cited By ~ 9

Author(s):

A. Flores-Perez ◽

Ileana Grave ◽

Yu Tang

Keyword(s):

Adaptive Control ◽

Parameterized Systems ◽

Nonlinearly Parameterized Systems ◽

Nonlinearly Parameterized

Download Full-text

GENERAL ADAPTIVE CONTROLS FOR NONLINEARLY PARAMETERIZED SYSTEMS UNDER GENERALIZED MATCHING CONDITION

IFAC Proceedings Volumes ◽

10.3182/20020721-6-es-1901.01063 ◽

2002 ◽

Vol 35 (1) ◽

pp. 463-468 ◽

Cited By ~ 2

Author(s):

N.V.Q. Hung ◽

H.D. Tuan ◽

P. Apkarian ◽

T. Narikiyo

Keyword(s):

Matching Condition ◽

Parameterized Systems ◽

Adaptive Controls ◽

Nonlinearly Parameterized Systems ◽

Nonlinearly Parameterized

Download Full-text

Cardinalities and universal quantifiers for verifying parameterized systems

ACM SIGPLAN Notices ◽

10.1145/2980983.2908129 ◽

2016 ◽

Vol 51 (6) ◽

pp. 599-613 ◽

Cited By ~ 2

Author(s):

Klaus v. Gleissenthall ◽

Nikolaj Bjørner ◽

Andrey Rybalchenko

Keyword(s):

Parameterized Systems ◽

Universal Quantifiers

Download Full-text

A Game-Theoretic Approach to Simulation of Data-Parameterized Systems

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

10.1007/978-3-319-11936-6_25 ◽

2014 ◽

pp. 348-363 ◽

Cited By ~ 3

Author(s):

Orna Grumberg ◽

Orna Kupferman ◽

Sarai Sheinvald

Keyword(s):

Theoretic Approach ◽

Parameterized Systems ◽

Game Theoretic ◽

Game Theoretic Approach

Download Full-text

An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications

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

10.1007/978-3-319-02444-8_28 ◽

2013 ◽

pp. 397-411 ◽

Cited By ~ 3

Author(s):

Orna Grumberg ◽

Orna Kupferman ◽

Sarai Sheinvald

Keyword(s):

Theoretic Approach ◽

Parameterized Systems

Download Full-text

Abduction of trap invariants in parameterized systems

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.346.1 ◽

2021 ◽

Vol 346 ◽

pp. 1-17

Author(s):

Javier Esparza ◽

Mikhail Raskin ◽

Christoph Welzel

Keyword(s):

Parameterized Systems

Download Full-text

Model order reduction of fully parameterized systems by recursive least square optimization

2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ◽

10.1109/iccad.2011.6105380 ◽

2011 ◽

Cited By ~ 4

Author(s):

Zheng Zhang ◽

Ibrahim M. Elfadel ◽

Luca Daniel

Keyword(s):

Model Order Reduction ◽

Order Reduction ◽

Least Square ◽

Recursive Least Square ◽

Model Order ◽

Parameterized Systems

Download Full-text

Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study

Lecture Notes in Computer Science - Distributed Computing ◽

10.1007/978-3-642-15763-9_36 ◽

2010 ◽

pp. 392-394 ◽

Cited By ~ 9

Author(s):

Francesco Alberti ◽

Silvio Ghilardi ◽

Elena Pagani ◽

Silvio Ranise ◽

Gian Paolo Rossi

Keyword(s):

Fault Tolerant ◽

Parameterized Systems ◽

Automated Support

Download Full-text

Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31424-7_55 ◽

2012 ◽

pp. 718-724 ◽

Cited By ~ 42

Author(s):

Sylvain Conchon ◽

Amit Goel ◽

Sava Krstić ◽

Alain Mebsout ◽

Fatiha Zaïdi

Keyword(s):

Model Checker ◽

Parameterized Systems

Download Full-text