| |
|
|||||
|
|
||||||
Agethen, Ch.:
A Hierarchical Control Architecture for Omega-Languages,
Dissertation, erschienen in:
FAU Forschungen, Reihe B, Medizin, Naturwissenschaft, Technik Band (16),
FAU University Press, Erlangen, Germany, 2017.
[URN:NBN]
[PDF]
(creativecommons license BY-NC-ND)
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 commons 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]
Tang, Y., Moor, T.:
Compositional non-blockingness verification of finite automata with prioritised events
Discrete Event Dynamic Systems, 2024.
[DOI]
[PDF]
(creative commons license)
Triska, L., Moor, T.:
Abstraction Based Supervisory Control for Non-Regular ∗-Languages,
16th IFAC Workshop on Discrete Event Systems (WODES), 2022.
[PDF]
Tang, Y., Moor, T.:
Compositional Verification of Non-Blockingness with Prioritised Events,
16th IFAC Workshop on Discrete Event Systems (WODES), 2022.
[PDF]
Tang, Y., Moor, T.:
Technical details regarding compositional verification with event-priorities,
Technical Report, Lehrstuhl für Regelungstechnik,
Friedrich-Alexander Universität Erlangen-Nürnberg, 2022.
[PDF]
Tang, Y., Moor, T.:
Compositional Verification of Finite Automata under Event Preemption,
60th IEEE Conference on Decision and Control (CDC), pp. 301-308, 2021.
[PDF]
Triska, L., Moor, T.:
Behaviour equivalent max-plus automata for timed petri nets under open-loop
race-policy semantics,
Discrete Event Dynamic Systems, vol 30, 533-560, 2020.
[DOI]
[PDF]
(creative commons license)
Triska, L., Moor, T.:
Behaviour equivalent max-plus automata for a class of timed petri nets,
15th IFAC Workshop on Discrete Event Systems (WODES), 2020.
[PDF]
Schmuck, A.-K., Moor, T., Schmidt, K. W.:
A reactive synthesis approach to supervisory control of terminating processes,
IFAC World Congress, 2020.
[PDF]
Moor, T., Schmidt, K. W.,Schmuck, A.-K.:
An efficient algorithm for the computation of the controllability prefix
of *-languages,
IFAC World Congress, 2020.
[PDF]
Yang, J.-M., Moor, T., Raisch, J.:
Refinements of behavioural abstractions for the supervisory control of hybrid systems
Discrete Event Dynamic Systems, vol 30, 553-560, 2020.
[DOI]
[PDF]
(creative commons license BY)
Schmuck, A.-K., Moor, T., Majumdar, R.:
On the relation between reactive synthesis and supervisory control of non-terminating processes,
Discrete Event Dynamic Systems, vol 30, 81–124, 2019.
[DOI]
[PDF]
(creative commons license BY)
Wang, X., Moor, T., Li, Z.:
SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems
with exact task execution time,
Discrete Event Dynamic Systems,
vol 29 no 4, pp 501-520, 2019.
[DOI]
Moor, T., Götz, S.:
Deterministic finite-automata abstractions of time-variant sequential behaviours,
Workshop on Discrete Event Systems (WODES), pp. 399-404, 2018.
[PDF]
Yang, J.-M., Moor, T., Raisch, J.:
Local refinement of l-complete approximations for supervisory control of
hybrid systems,
Workshop on Discrete Event Systems (WODES), pp. 496-503, 2018.
[PDF]
Schmuck, A.-K., Moor, T., Majumdar, R.:
On the relation between reactive synthesis and
supervisory control of input/output behaviours,
Workshop on Discrete Event Systems (WODES), pp. 42-49, 2018.
[PDF]
Technical Report incl. proofs available on
request.
Bai, X., Moor, T.:
Consistent abstractions for the supervision of sequential behaviours,
Proc. 56nd IEEE Conference on Decision and Control (CDC), Melbourne, pp. 565-571, 2017.
[PDF]
Moor, T.:
Supervisory control of non-terminating processes: an interpretation of liveness properties,
Technical Report, Lehrstuhl für Regelungstechnik,
Friedrich-Alexander Universität Erlangen-Nürnberg, 2017.
[PDF]
Moor, T., Schmidt K.W.:
The controllability prefix for
supervisory control under partial observation,
Preprints of the 20th IFAC World Congress Toulouse (France), open invited track on Dependable Control
of Discrete Systems (DCDS), pp. 14206-14211, 2017.
[PDF]
Technical Report incl. proofs available on
request.
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,
Annual Reviews in Control, vol 41, pp. 159–169, 2016.
[DOI]
[PDF]
(creative commons 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,
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.
y
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,
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,
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, 2009.
Schmidt, E.G., Schmidt, K.:
Message scheduling for the flexRay protocol: the dynamic segment,
IEEE Transactions on Vehicular Technology, 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]
Raisch, J., Moor, T.:
Hierarchical hybrid control of a multiproduct batch plant,
Control and Observer Design for Nonlinear Finite and Infinite Dimensional Systems,
LNCIS, vol. 322, pp. 199--216, Springer-Verlag, 2005.
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]
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]
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,
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,
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,
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]