Sebastian Perk

Publications

188

Citations

H-Index

2005

Active since

Affiliations

Friedrich-Alexander-Universität Erlangen-Nürnberg(Current)

Sebastian Perk is an author at Friedrich-Alexander-Universität Erlangen-Nürnberg specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringFormal MethodsProcess ControlComputer ScienceAutomationFormal VerificationComputer EngineeringMechanism DesignDesign

Publications per year

2005–2010

Publications

Nonblocking Hierarchical Control of Decentralized Discrete Event Systems

Thomas Moor, Sebastian Perk · IEEE Transactions on Automatic Control · 2008 · 101 citations · Full text

Event-driven Architecture, Hierarchical Control, Engineering +10

libFAUDES &#x2014; An open source C++ library for discrete event systems

Thomas Moor, Sebastian Perk · 2008 · 30 citations · Full text

Event-driven Architecture, Engineering, Discrete Event Systems +16

A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems

Tine De Moor, Sebastian Perk · 2005 · 15 citations · Full text

Engineering, Discrete Event Systems, Formal Verification +16

Controller synthesis for an I/O-Based hierarchical system architecture

Sebastian Perk, Thomas Moor · 2008 · 15 citations · Full text

Engineering, Computer Architecture, System Synthesis +16

Applied Supervisory Control for a Flexible Manufacturing System

Thomas Moor, Sebastian Perk · IFAC Proceedings Volumes · 2010 · 14 citations

Engineering, Flexible Manufacturing Technology, Applied Supervisory Control +7

Rows per page

1–5 of 6