Hierarchical decision diagrams to exploit model structure

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3731 LNCS, Issue , 2005, Pages 443-457

  Couvreur, Jean Michel ^a   Thierry Mieg, Yann ^b  

^a UNIVERSITÉ BORDEAUX 1   (France)

^b UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DATA ACQUISITION; DATA STRUCTURES; DECISION MAKING; GRAPH THEORY; MATHEMATICAL MODELS; SYSTEMS ANALYSIS; ALGEBRA; BINS; BOOLEAN FUNCTIONS; DIRECTED GRAPHS; GRAPHIC METHODS; MODEL CHECKING;

BINARY DECISION DIAGRAMS (BDD); HIERARCHICAL DECISION DIAGRAMS; SYNCHRONOUS SYSTEMS;

HIERARCHICAL SYSTEMS; BINARY DECISION DIAGRAMS;

BINARY DECISION DIAGRAMS (BDD); DIRECTED ACYCLIC GRAPH (DAG); HIERARCHICAL DECISION DIAGRAMS; SOFTWARE SYSTEMS; STATE REPRESENTATION; SYMBOLIC MODEL CHECKING; SYNCHRONOUS SYSTEM; TRANSITIVE CLOSURE;

EID: 33646419259     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11562436_32     Document Type: Conference Paper

References (15)

1. R. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, 35(8):677-691, August 1986.
2. 20 states and beyond. Information and Computation (Special issue for best papers from LICS90), 98(2): 153-181, 1992.
3. G. Ciardo, G. Lüttgen, and R. Siminiceanu. Efficient symbolic state-space construction for asynchronous systems. In Proc. of ICATPN'2000, volume 1825 of Lecture Notes in Computer Science, pages 103-122. Springer Verlag, June 2000.
4. G. Ciardo, R. Marmorstein, and R. Siminiceanu. Saturation unbound. In H. Garavel and J. Hatcliff, editors, Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), pages 379-393, Warsaw, Poland, April 2003. Springer-Verlag LNCS 2619.
5. Gianfranco Ciardo. Reachability set generation for petri nets: Can brute force be smart. In J. Cortadella and W. Reisig, editors, Application and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004., volume 3099 of LNCS, pages 17-34, 2004.
6. A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking. In Proc. International Conference on Computer-Aided Verification (CAV2002), volume 2404 of LNCS, Copenhagen, Denmark, July 2002. Springer.
7. J.-M. Couvreur, E. Encrenaz, E. Paviot-Adet, D. Poitrenaud, and P.-A. Wacrenier. Data decision diagrams for Petri net analysis. In Proc. of ICATPN'2002, volume 2360 of Lecture Notes in Computer Science, pages 101-120. Springer Verlag, June 2002.
8. H. Garavel. A net generated from lotos by cadp (http://www.inrialpes.fr/ vasy/cadp). In PetriNets@daimi.au.dk mailing list., Posted 28/07/03 and follow-up with performance of 4 tools on 26/09/03.
9. J. Geldenhuys and A. Valmari. Techniques for smaller intermediary bdds. In CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, 2001, volume 2154 of Lecture Notes in Computer Science, pages 233-247, 2001.
10. A. Gupta and A. L. Fisher. Representation and symbolic manipulation of linearly inductive boolean functions. In ICCAD'93, pages 111-116, 1993.
11. J.R. Burch, E.M. Clarke, and D.E. Long. Symbolic model checking with partitioned transition relations. In A. Halaas and P.B. Denyer, editors, International Conference on Very Large Scale Integration, pages 49-58, Edinburgh, Scotland, 1991. North-Holland.
12. F. Kordon and M. Lemoine, editors. Formal Methods for Embedded Distributed Systems How to master the complexity. Kluwer Academic, 2004.
13. A.S. Miner and G. Ciardo. Efficient reachability set generation and storage using decision diagrams. In Proc. of ICATPN '99, volume 1639 of Lecture Notes in Computer Science, pages 6-25. Springer Verlag, 1999.
14. L. Petrucci. Design and validation of a controller. In Proceedings of the 4th World Multi-conference on Systemics, Cybernetics and Informatics (SCI 2000), pages 684-688, Orlando, Florida, USA, July 2000.
15. Y. Thierry-Mieg, J-M. Hie, and D. Poitrenaud. A symbolic symbolic state space. In Proc. of the 24th IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE'04), volume 3235 of LNCS, pages 276-291, Madrid, Spain, September 2004. Springer.