UB Paderborn / Katalog / Suche / in CDI

"Here we are together, at home you are alone" - social interactions and personal engagement during a group-based rehabilitation program for young adults with disability

Disability and rehabilitation, 2022-04, Vol.44 (9), p.1631-1641

2022

Volltextzugriff (PDF)

Toxicological and ecotoxicological assessment of water tracers

Hydrogeology journal, 2001-06, Vol.9 (3), p.321-325

2001

Volltextzugriff (PDF)

Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems

IEEE transactions on systems, man and cybernetics. Part A, Systems and humans, 2012-01, Vol.42 (1), p.178-191

2012

Volltextzugriff (PDF)

Propionispora vibrioides, nov. gen., nov. sp., a new gram-negative, spore-forming anaerobe that ferments sugar alcohols

Archives of microbiology, 2000-10, Vol.174 (4), p.239-247

2000

Volltextzugriff (PDF)

Closed-Loop Modeling in Future Automation System Engineering and Validation

IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews, 2009-01, Vol.39 (1), p.17-28

2009

Volltextzugriff (PDF)

Coordination Control Modelling in Batch Production Systems by Means of Petri Nets

Computers & chemical engineering, 1992, Vol.16 (1), p.1-10

Hanisch, H.-M.

1992

Volltextzugriff (PDF)

Object-oriented modular place/transition formalism for systematic modeling and validation of industrial automation systems

IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. Proceedings, 2003, p.224-232

2003

Volltextzugriff (PDF)

Incremental modeling based on pneumatic equipment plans and sequential function charts

2005 IEEE Conference on Emerging Technologies and Factory Automation, 2005, Vol.2, p.6 pp.-770

2005

Volltextzugriff (PDF)

Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Observation

European journal of control, 1997, Vol.3 (4), p.280-291

1997

Volltextzugriff (PDF)

Closed-loop system modeling, validation, and verification

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), 2012, p.1-8

2012

Volltextzugriff (PDF)

Modular modeling of roll-based calender manufacturing environments

EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696), 2003, Vol.2, p.321-328 vol.2

2003

Volltextzugriff (PDF)

Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems [Jan 12 178-191]

IEEE transactions on systems, man, and cybernetics. Systems, 2013-03, Vol.43 (2), p.474-474

2013

Volltextzugriff (PDF)

A modular plant modeling technique and related controller synthesis problems

Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics, 1998, Vol.1, p.686-691 vol.1

1998

Volltextzugriff (PDF)

Towards a synthesis method for distributed safety controllers based on net condition/event systems

Journal of intelligent manufacturing, 1997-10, Vol.8 (5), p.357-368

1997

Volltextzugriff (PDF)

Hierarchical modelling of recipe controllers — A practical approach

Computers & chemical engineering, 1997, Vol.21, p.S583-S588

1997

Volltextzugriff (PDF)

A new model structure based synthesis approach for distributed discrete process control

2011 9th IEEE International Conference on Industrial Informatics, 2011, p.527-532

2011

Volltextzugriff (PDF)

Specification of technical plant behavior with a safety-oriented technical language

2009 7th IEEE International Conference on Industrial Informatics, 2009, p.632-637

2009

Volltextzugriff (PDF)

Design and implementation of a prototype control system according to IEC 61499

EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696), 2003, Vol.2, p.269-276 vol.2

2003

Volltextzugriff (PDF)

Modeling and Validation of Hybrid Systems using Extended Timestamp Nets

Automatisierungstechnik : AT, 2001, Vol.49 (2), p.60

2001

Volltextzugriff (PDF)

Synthesis of distributed safety controllers with incomplete state observation

2009 35th Annual Conference of IEEE Industrial Electronics, 2009, p.4383-4390

2009

Volltextzugriff (PDF)

Modular plant modelling for distributed control

2007 IEEE International Conference on Systems, Man and Cybernetics, 2007, p.3475-3480

2007

Volltextzugriff (PDF)

Discrete models of the dynamic behaviour of batch plants

Computers & chemical engineering, 1994, Vol.18, p.S403-S407

Hanisch, Hans-Michael

1994

Volltextzugriff (PDF)

Model-checking for the functional safety of Control Component-based heterogeneous embedded systems

2009 IEEE Conference on Emerging Technologies & Factory Automation, 2009, p.1-10

2009

Volltextzugriff (PDF)

Synthesis of distributed forcing/locking safety controllers

2008 34th Annual Conference of IEEE Industrial Electronics, 2008, p.383-390

2008

Volltextzugriff (PDF)

Hierarchical distributed controllers - design and verification

2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007), 2007, p.657-664

2007

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

"Here we are together, at home you are alone" - social interactions and personal engagement during a group-based rehabilitation program for young adults with disability

Toxicological and ecotoxicological assessment of water tracers

Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems

Propionispora vibrioides, nov. gen., nov. sp., a new gram-negative, spore-forming anaerobe that ferments sugar alcohols

Closed-Loop Modeling in Future Automation System Engineering and Validation

Coordination Control Modelling in Batch Production Systems by Means of Petri Nets

Object-oriented modular place/transition formalism for systematic modeling and validation of industrial automation systems

Incremental modeling based on pneumatic equipment plans and sequential function charts

Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Observation

Closed-loop system modeling, validation, and verification

Modular modeling of roll-based calender manufacturing environments

Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems [Jan 12 178-191]

A modular plant modeling technique and related controller synthesis problems

Towards a synthesis method for distributed safety controllers based on net condition/event systems

Hierarchical modelling of recipe controllers — A practical approach

A new model structure based synthesis approach for distributed discrete process control

Specification of technical plant behavior with a safety-oriented technical language

Design and implementation of a prototype control system according to IEC 61499

Modeling and Validation of Hybrid Systems using Extended Timestamp Nets

Synthesis of distributed safety controllers with incomplete state observation

Modular plant modelling for distributed control

Discrete models of the dynamic behaviour of batch plants

Model-checking for the functional safety of Control Component-based heterogeneous embedded systems

Synthesis of distributed forcing/locking safety controllers

Hierarchical distributed controllers - design and verification

Suchergebnisse filtern