Publications/Reports/Thesis

Selected thesis

Wittmann, Th.:
Zur Methodik und Anwendung fehlerverdeckender Steuerungsrekonfiguration für eine Klasse ereignisdiskreter Systeme,
Dissertation, Friedrich-Alexander Universität Erlangen-Nürnberg, 2014. [PDF] (creative common license BY-NC-ND)

Perk, S.:
Hierarchical Control of Discrete Event Systems with Inputs and Outputs,
Dissertation, Friedrich-Alexander Universität Erlangen-Nürnberg, 2010. [PDF]

Schmidt, K.:
Hierarchical and Decentralized Control of Discrete Event Systems: Theory and Application,
Dissertation, Friedrich-Alexander Universität Erlangen-Nürnberg, 2005. [PDF]

Perk, S.:
Hierarchical Design of Discrete Event Controllers: An Automated Manufacturing System Case Study,
Lehrstuhl für Regelungstechnik, Friedrich-Alexander Universität Erlangen-Nürnberg, 2004. [diploma thesis PDF] [technical report PDF]

Selected publications

Moor, T., Wittmann, Th.:
Supervisory Control and Simulation of a Bottling Station,
Technical Report, Lehrstuhl für Regelungstechnik, Friedrich-Alexander Universität Erlangen-Nürnberg, 2016. [PDF]

Moor, T.:
A discussion of fault-tolerant supervisory control in terms of formal languages,
in press, Annual Reviews in Control, vol 41, pp. 159–169, 2016. [DOI] [PDF] (creative common license BY-NC-ND)

Moor, T., Schmidt K.W.:
Fault-tolerant control of discrete-event systems with lower-bound specifications,
Workshop on Dependable Control of Discrete Systems (DCDS), pp. 161-166 Cancun, Mexico, 2015. [PDF]

Moor, T.:
Fault-tolerant supervisory control,
Workshop on Dependable Control of Discrete Systems (DCDS), pp. 17-24 Cancun, Mexico, 2015. [PDF (revised)]

Baier, Ch., Moor, T.:
A hierarchical and modular control architecture for sequential behaviours,
Journal of Discrete Event Dynamic Systems, vol 25, issue 1-2, pp. 95-124, 2015. [preprint PDF] [DOI]

Moor, T.:
Natural projections for the synthesis of non-conflicting supervisory controllers,
Workshop on Discrete Event Systems (WODES), Paris, 2014. [PDF]

Neidig, J., Wittmann, Th., Moor, T., Ruchter, J.H.:
Fehlertolerante Regelung für die Fertigungsautomatisierung,
Automation 2014, Baden-Baden, 2014

Moor, T., Baier, Ch., Wittmann, Th.:
Consistent abstractions for the purpose of supervisory control,
Proc. 52nd IEEE Conference on Decision and Control (CDC), pp. 7291-7196, Firenze, 2013. [PDF]

Wittmann, Th., Richter, J.H., Moor, T.:
Fault-hiding control reconfiguration for a class of discrete-event systems,
Workshop on Dependable Control of Discrete Systems (DCDS), York, UK, 2013. [PDF]

Baier, Ch., Moor, T.:
A hierarchical control architecture for sequential behaviours,
Workshop on Discrete Event Systems (WODES), Guadalajara, Mexico, pp. 259-264, 2012. [PDF]

Moor, T., Baier, Ch., Yoo, T.-S., Lin, F., Lafortune, S.:
On the computation of supremal sublanguages relevant to supervisory control,
Workshop on Discrete Event Systems (WODES), Guadalajara, Mexico, pp. 175-180, 2012. [PDF]

Raisch, J., Giua, A., Moor, T., Lafortune, S. (guest eds.):
Special issue on recent trends in discrete event systems.
Discrete Event Dynamic Systems, vol. 22 (4), Springer, 2012.

Wittmann, Th, Richter, J.H., Moor, T.:
Fault-tolerant control of discrete event systems based on fault-accommodating models,
Preprints of the 8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS), pp. 854-859, 2012. [PDF]

Boutalis, Y., Moor, T., Schmidt, K.:
Fuzzy hybrid systems modeling with application in decision making and control,
IEEE International Conference on Intelligent Systems (IS'12), pp. 290- 296, 2012.

Moor, T., Schmidt, K., Wittmann, Th.:
Abstraction-based control for not necessarily closed behaviours,
Preprints of the 18th IFAC World Congress Milano (Italy), pp. 6988-6993, 2011. [PDF]
Technical Report incl. proofs available on request.

Raisch, J., Giua, A., Lafortune, S., Moor, T. (eds.):
Proc. WODES 2010 - 10th International Workshop on Discrete Event Systems, IFAC, 2010.

Moor, T., Schmidt, K., Perk, S.:
Applied supervisory control for a flexible manufactoring system,
Workshop on Discrete Event Systems (WODES), pp. 263-268, 2010. [PDF]

Raisch, J., Moor T., Bajcinca, N., Geist, S., Nenchev, V.:
Distributed state estimation for hybrid and discrete event systems using l-complete approximations,
Workshop on Discrete Event Systems (WODES), pp. 139-144, 2010. [PDF]

Perk, S., Moor, T., Schmidt, K.:
Regelungstheorie für ereignisdiskrete Systeme,
atp edition, vol. 52, pp. 54-62, 2010.

Schmidt, K.:
Abstraction-based failure diagnosis for discrete event systems,
Systems & Control Letters, vol. 59, pp. 42-47, January 2010. [PDF]

Lunze, J., Bicchi, A., Moor, T., Palopoli, L., Picasso, B., Raisch, J., Schild, A.:
Hybrid systems: quantization and abstraction.
In: Handbook of Hybrid Systems Control - Theory-Tools-Applications,
pages 193–248, Cambridge University Press, 2009.

Engell, S., Lohmann, S., Moor, T., de Prada, C., Raisch, J., Sarabia, D., Sonntag. C.:
Industrial controls.
In: Handbook of Hybrid Systems Control - Theory-Tools-Applications,
y pages 405–437, Cambridge University Press, 2009.

Schmidt, K.:
Controller aggregation for distributed discrete-event supervisors on a shared-medium network,
Workshop on Dependable Control of Discrete Event Systems, Bari, Italy, 2009. [PDF] [Technical Report]

Schmidt, K., Cury, J.E.R.:
Redundant tasks in multitasking control of discrete event systems,
Workshop on Dependable Control of Discrete Event Systems, Bari, Italy, 2009. [PDF] [Technical Report]

Schmidt, K., Schmidt, E.G.:
Message scheduling for the flexRay protocol: the static segment,
IEEE Transactions on Vehicular Technology, in press, 2009.

Schmidt, E.G., Schmidt, K.:
Message scheduling for the flexRay protocol: the dynamic segment,
IEEE Transactions on Vehicular Technology, in press, 2009.

Schmidt, K., Moor, T., Perk, S.:
Nonblocking hierarchical control of decentralized discrete event systems,
IEEE Transactions on Automatic Control, vol. 53, no. 10, pp. 2252-2265, 2008. [DOI]

Schmidt, K., Schmidt, E.G.:
Communication of distributed discrete-event supervisors on a switched network,
Workshop on Discrete Event Systems, Göteborg, Sweden, 2008. [PDF]

Schmidt, K., Breindl, C.:
On maximal permissiveness of hierarchical and modular supervisory control approaches for discrete event systems,
Workshop on Discrete Event Systems, Göteborg, Sweden, 2008. [PDF]

Perk, S., Moor, T., Schmidt, K.:
Controller synthesis for an I/O-based hierarchical system architecture,
Workshop on Discrete Event Systems, Göteborg, Sweden, 2008. [PDF]

Moor, T., Schmidt, K., Perk, S.:
libFAUDES – An open source C++ library for discrete event systems,
Workshop on Discrete Event Systems, Göteborg, Sweden, 2008. [PDF]

Schmidt, K., Boutalis, Y.:
Computation of supremal controllable sublanguages and infimal controllable superlanguages for fuzzy discrete event systems,
Mediterranean Conference on Control and Automation, Ajaccio, France, 2008. [PDF]

Schmidt, K., Schmidt, E.G., Zaddach, J.:
Reliable and safe operation of distributed discrete-event controllers: a networked implementation with real-time guarantees,
IFAC World Congress, 2008. [PDF]

Schmidt, K., Schmidt, E.G.:
Echtzeitimplementierung verteilter ereignisdiskreter Steuerungen mittels Kommunikationsnetzwerken,
Entwurf komplexer Automatisierungssysteme (EKA), 2008.

Schmidt, K., Schmidt, E.G.:
Message scheduling for the static segment of the FlexRay protocol,
IEEE 16th Signal Processing, Communication and Applications Conference, Didyma, Turkey, 2008.

Schmidt, K., Schmidt, E.G.:
Shared medium communication for distributed discrete event control,
IEEE 16th Signal Processing, Communication and Applications Conference, Didyma, Turkey, 2008.

Schmidt, K., Schmidt, E.G.:
Systematic message schedule construction for time-triggered CAN,
IEEE Transactions on Vehicular Technology,
Special Issue on Vehicular Communication Networks, Volume 56, Issue 6, Part 1, pp. 3431-3441, 2007.

Schmidt, K., Schmidt, E.G., Zaddach, J.:
A shared-medium communication architecture for distributed discrete event systems,
Mediterranean Conference on Control and Automation, 2007. [PDF]

Schmidt, K., Schmidt, E.G.:
Modeling and networked implementation of distributed discrete event dynamic controllers,
22nd European Conference on Operational Research, 2007.

Schmidt, K., de Queiroz, M.H., Cury, J.E.R.:
Hierarchical and decentralized multitasking control of discrete event systems,
Conference on Decision and Control, 2007. [PDF] [Technical Report]

Davoren J.M., Moor T.:
Non-deterministic reactive systems, from hybrid systems and behavioural systems perspectives,
2nd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'06), pp. 409-416, Alghero, Italy, 2006.

Moor T., Davoren J.M., Raisch J.:
Learning by doing - systematic abstraction refinement for hybrid control synthesis,
IEE Proc. Control Theory and Applications, vol 153:5, pp. 591-599, 2006.

Perk S., Moor T., Schmidt K.:
Regelungstheorie für ereignisdiskrete Systeme zur modellbasierten Berechnung von SPS-Programmen,
3. Rexroth Doktoranden Kolloquium, Lohr am Main, Germany, 2007. [PDF]

Perk S., Moor T., Schmidt K.:
Hierarchical discrete event systems with inputs and outputs,
Workshop on Discrete Event Systems (WODES), 2006. [PDF]

Schmidt, K., Marchand H., Gaudin, B.:
Modular and decentralized supervisory control of concurrent discrete
event systems using reduced system models ,
Workshop on Discrete Event Systems (WODES), 2006. [PDF]

Schmidt, K., Moor T.:
Marked-string accepting observers for the hierarchical and decentralized
control of discrete event systems,
Workshop on Discrete Event Systems (WODES), 2006. [PDF] [Technical Report]

Schmidt, K.,Perk, S., Moor, T.:
Nonblocking hierarchical control for decentralized DES,
IFAC World Congress, 2005. [PDF]

Schmidt, K., Moor, T., Perk, S.:
A hierarchical architecture for nonblocking control of decentralized discrete event systems,
Mediterranean Control Conference, 2005. [PDF]

Schmidt, K.,Reger, J., Moor, T.:
Hierarchical control for structural decentralized DES,
Workshop On Discrete Event Systems (WODES), Reims, France, 2004. [PDF]

Davoren, J.M., Moor, T., Gore, R.P., Coulthard, V., Nerode, A.:
On two-sided approximate model-checking: problem formulation and solution via finite topologies,
Accepted for Formal Modelling and Analysis of Timed Systems - Formal Techniques in Real-Time and Fault Tolerant Systems (FORMATS-FTRTFT) 2004.

Kapinski, J., Krogh, B.H., Schmidt, K.:
Reachability analysis using proximity based automata,
Workshop on Discrete Event Systems (WODES), Reims, France, 2004. [PDF]

Schmidt, K., Kapinski, J., Krogh, B.H.:
Control input synthesis for hybrid systems using informed search,
Conference on Computer Aided Control System Design (CACSD), Taipeh, Taiwan, 2004. [PDF]

Reger, J., Schmidt, K.:
Modeling and analyzing finite state automata in the finite field GF(2),
Mathematics and Computers in Simulation (MATCOM),
vol 66, issue 2-3, pp 193-206, Elsevier Science, 2004. [PDF]

Reger, J., Schmidt, K.:
A finite field framework for modelling, analysis and control of finite state automata,
Mathematical and Computer Modelling of Dynamical Systems (MCMDS),
vol. 10, issue 3-4, pp 253-285, Taylor & Francis, 2004. [PDF]

Davoren, J.M., Coulthard, V., Markey, N., Moor, T.:
Non-deterministic temporal logics for general flow systems,
Hybrid Systems: Computation and Control (HSCC2004), 2004.

Moor, T., Raisch, J., Davoren, J.M.:
Admissibility criteria for a hierarchical design of hybrid control systems,
Proc. ADHS, pp. 389-394, Saint Malo, France, 2003. [PDF]

Reger, J., Schmidt, K.:
Aspects on analysis and synthesis of linear discrete systems over the finite field GF(q),
Proc. Euproean Control Conference ECC2003, Cambridge, United Kingdom, 2003. [PDF]

Itigin, A., Raisch, J., Moor, T., Kienle, A.:
A two-level hybrid control strategy for the start-up of a coupled distillation plant,
Proc. Euproean Control Conference ECC2003, Cambridge, UK, 2003.

Schmidt, K., Reger, J.:
Synthesis of state feedback for linear automata in the finite field GF(2),
Proc. 4th International IMCAS Symposium on Mathematical Modelling (MATHMOD),
Vienna, Austria, 2003. [PDF]

Reger, J.:
Analysis of multilinear systems using gröbner-bases over the finite field GF(2),
Proc. 4th International IMCAS Symposium on Mathematical Modelling (MATHMOD),
Vienna, Austria, 2003.

Moor, T., Davoren, J. M., Anderson, B.D.O.:
Robust hybrid control from a behavioural perspective,
Proc. 41st IEEE Conference on Decision and Control, pp. 1169-1174, Las Vegas, US, 2002. [PDF]

Moor, T., Davoren, J.M., Raisch, J.:
Strategic refinements in abstraction based supervisory control of hybrid systems,
Proc. 6th International Workshop on Discrete Event Systems (WODES), pp. 329-334, Zaragoza, Spain, 2002. [PDF]

Davoren, J.M., Coulthard, V., Moor, T., Gore, R.P., Nerode, A.:
Topological semantics for Intuitionistic modal logics, and spatial discretisation by A/D maps,
Intuitionistic Modal Logic and Aplications (IMLA)
at The 2002 Federated Logic Conference (FLoC), Copenhagen, Denmark, 2002.

Moor, T., Raisch, J.:
Abstraction based supervisory controller synthesis for high order monotone continuous systems.
In Engell, S., Frehse, G., Schnieder, E. (eds): Modelling, Analysis, and Design of Hybrid Systems,
LNCIS 279, pp. 247-265, Springer-Verlag, 2002. [PDF] (© Springer-Verlag)

Moor, T., Raisch, J.:
Think continuous, act discrete: DES Techniques for Continuous Systems,
Proc. 10th Mediterranean Conference on Control and Automation, Lisbon, Protugal, 2002. [PDF]

Reger, J.:
Cycle analysis for deterministic finite state automata,
Proc. 15th IFAC World Congress, Barcelona, Spain, 2002. [PDF]

Moor, T., Raisch, J., Itigin, A.:
Discrete approximation and control of high-order nonlinear continuous systems,
Proc. 15th IFAC World Congress, Barcelona, Spain, 2002.

Davoren, J.M., Moor, T., Nerode, A.:
Hybrid control loops, A/D maps, and dynamic specifications,
Hybrid Systems: Computation and Control (HSCC 2002),
LNCS 2289, pp. 149-163, Springer-Verlag, 2002. [PDF] (© Springer-Verlag)

Moor, T., Raisch, J., O'Young, S.D.:
Discrete supervisory control of hybrid systems based on l-complete approximations,
Journal of Discrete Event Dynamic Systems, vol 12, issue 1, pp 83-107, 2002. [DOI]

Moor, T., Raisch, J., Davoren, J.M.:
Computational advantages of a two-level hybrid control architecture,
Proc. 40th IEEE Conference on Decision and Control, pp. 358-363,
Orlando, USA, 2001. [PDF]

Raisch, J., Itigin, A., Moor, T.:
Hierarchical strategies for hybrid process control problems,
Proc. Euproean Control Conference ECC2001, pp. 2534-2539,
Porto, Portugal, 2001.

Moor, T., Davoren, J.M., Raisch, J.:
Modular supervisory control of a class of hybrid systems in a behavioural framework,
Proc. Euproean Control Conference ECC2001, pp. 870-875.
Porto, Portugal, 2001. [PDF]

Moor, T., Davoren, J.M.:
Robust controller synthesis for hybrid systems using modal logic,
in Di Benedetto, M. D., Sangiovanni-Vincentelli, A. (eds.) Hybrid Systems: Computation and Control (HSCC 2001),
LNCS 2034, pp. 433-446, Springer-Verlag, 2001. [PDF] (© Springer-Verlag)

Moor, T., Raisch, J.:
Approximation of multiple switched flow systems for the purpose of control synthesis,
Proc. 39th IEEE Conference on Decision and Control,
pp. 3604-3609, Sydney, 2000. [PDF]

Raisch, J., Itigin, A., Moor, T.:
Hierarchical control of hybrid systems,
Proc. 4th International Conference on Automation of Mixed Processes: Dynamic Hybrid Systems,
pp. 67-72, Shaker Verlag, Germany, 2000.

Franke, D., Moor, T., Raisch, J.:
Discrete supervisory control of switched linear systems,
at-Automatisierungstechnik,
pp. 461-467, vol. 48:9, 2000.

Franke, D., Frick, K., Holm, H., Moor, T.:
Kooperierende Roboter,
Uniforschung, pp. 3-8, University of the Federal Armed Forces, Hamburg, 2000.

Moor, T.:
Approximationsbasierter Entwurf diskreter Steuerungen für gemischtwertige Regelstrecken,
Forschungsberichte aus dem Max-Planck-Institut für Dynamik komplexer technischer Systeme, Band 2,
Shaker Verlag, Aachen, 2000.
Accepted as PhD thesis, Fachbereich Elektrotechnik, University of the Federal Armed Forces, Hamburg.

Moor, T., Raisch, J.:
Supervisory control of hybrid systems within a behavioural framework,
Special issue on hybrid systems, System and Control Letters,
vol. 38:3, pp. 157-166, 1999. [preprint PDF] [DOI]

Moor, T., Raisch, J.:
Discrete control of switched linear systems,
Proc. European Control Conference, ECC99, paper no. F1014-5,
Karlsruhe, Germany, 1999. [PDF]

Franke, D., Frick, K., Holm, H., Moor, T.:
Hybrid resource allocation problems - a laboratory case study,
Proc. AMPST99 - Advanced Manufacturing Processes, Systems, and Technologies,
pp. 103-111, Bradford, 1999. [PDF]

Franke, D., Frick, K., Holm, H., Moor, T.:
Kooperierende Roboter - eine Fallstudie zu hybriden Ressourcenzuweisungsproblemen,
in Schnieder, E. (ed) Proc. EKA99 - Entwicklung und Betrieb komplexer Automatisierungssysteme,
Band 1, pp. 205-217, Braunschweig, 1999.

Kazakova-Frehse, N., Moor, T.:
Piecewise constant Lyapunov functions for the construction of robust regions of attraction,
Journal of robust and nonlinear control,
vol. 9, pp. 451-460, 1999. [DOI]

Moor, T., Raisch, J.:
Estimating reachable states of hybrid systems via l-complete approximations,
in Bajic, V. B. (ed) Proc. SSCC'98 - Advances in Systems, Signals Control and Computers,
IAAMSAD and the South African Branch of the Academy of Nonlinear Sciences,
vol. III, pp. 30-34, Durban, South Africa, 1998. [PDF]

Moor, T., Kazakova-Frehse, N.:
Nonlinear robustness analysis via piecewise constant Lyapunov functions,
Proc. MMAR'98 - Fifth International Symposium on Methods and Models in Automation and Robotics,
pp. 251-256, Miedzyzdroje, Poland, 1998. [PDF]

Moor, T., Raisch, J., O'Young, S. D.:
Supervisory control of hybrid systems via l-complete approximations,
Proc. WODES'98 - International Workshop on Discrete Event Systems,
pp. 426-431, Cagliari, Italia, 1998. [PDF]

Franke, D., Moor, T.:
Combined rule- and model-based design of a hybrid thermal process,
Proc. IMACS Multiconference CESA'98,
pp. 630-634, Nabeul-Hammamet, Tunesia, 1998.

Moor, T.:
Event driven control of switched integrator systems,
Proc. 3rd International Conference ADPM'98,
Automation of Mixed Processes: Dynamic Hybrid Systems,
pp. 271-277, Reims, France, 1998. [PDF]