Constraint-Based Optimal Testing Using DNNF Graphs
Lecture Notes in Computer Science
2009
5732
731-745
Modeling and Optimization for Efficient Electrical Mobility: Challenges from the E-Tour Project
CP Workshop on Constraint Reasoning and Optimization for Computational Sustainability (CROCS)
2009
Energy Informatics – Computer Science for Power and Energy Systems of the Future
European Computer Science Summit, 5th Annual INFORMATICS-Europe Meeting (ECSS-2009)
8-9 October 2009, Paris
2009
Self-Monitoring and Control for Embedded Systems using Hybrid Constraint Automata
Self-X in Engineering
Benjamin Klöpper, Wilhelm Dangelmaier
Monsenstein und Vannerdat
2009
Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production
Lecture Notes in Computer Science
2009
5803
Using Model Counting to Find Optimal Distinguishing Tests
Lecture Notes in Computer Science
2009
5547
117-131
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs
Electronic Notes in Theoretical Computer Science
2009
253
2
87-99
Self-Diagnosis and Self-Planning with Constraint-based Hybrid Models
Annual Conference of the Prognostics and Health Management Society (PHM-2009) Doctoral Consortium
San Diego, CA, September 27 – October 1, 2009
2009
Integrating Model-based Diagnosis and Prognosis in Autonomous Production
Annual Conference of the Prognostics and Health Management Society (PHM-2009)
San Diego, CA, September 27 – October 1, 2009
2009
Integrated Plan Tracking and Prognosis for Autonomous Production Processes
14th IEEE Conference on Emerging Technologies and Factory Automation (ETFA-2009)
Mallorca, Spain, September 22-26, 2009
2009