Hugo Flordal

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Hugo Flordal, Robi Malik: Compositional Verification in Supervisory Control. SIAM J. Control and Optimization 48(3): 1914-1938 (2009)

2007

1 Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson: Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence. Discrete Event Dynamic Systems 17(4): 475-504 (2007)

	2009
2		Hugo Flordal, Robi Malik: Compositional Verification in Supervisory Control. SIAM J. Control and Optimization 48(3): 1914-1938 (2009)
	2007
1		Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson: Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence. Discrete Event Dynamic Systems 17(4): 475-504 (2007)

Coauthor Index

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page