Concepedia

Mathias Rausch

MR

5

Publications

332

Citations

5

H-Index

1997

Active since

Affiliations

Carnegie Mellon University(Current)

Otto-von-Guericke University Magdeburg

Mathias Rausch is an author at Carnegie Mellon University specializing in formal methods, formal verification, and process control.

Top concepts

EngineeringFormal MethodsProcess ControlComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringAutomated ReasoningIndustrial InformaticsAutomation

Publications per year

1997–2002

5

Publications

5

Net condition/event systems with multiple condition outputs

Mathias Rausch, H.‐M. Hanisch · 2002 · 129 citations

Petri Net Representation, Petri Net, Engineering +19

FlexRay - The Communication System for Advanced Automotive Control Systems

Josef Berwanger, Christian Ebner, Anton Schedl et al. · SAE technical papers on CD-ROM/SAE technical paper series · 2001 · 85 citations

Formal verification of PLC programs

Mathias Rausch, Bruce H. Krogh · 1998 · 65 citations

Program Checking, Engineering, Verification +19

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

H.‐M. Hanisch, Arndt Lüder, Mathias Rausch · European Journal of Control · 1997 · 29 citations

Engineering, State Observer, Discrete Event System +10

Synthesis of supervisory controllers based on a novel representation of condition/event systems

H.‐M. Hanisch, Mathias Rausch · 2002 · 24 citations

Petri Net, Engineering, Industrial Control System +18

Rows per page

1–5 of 5