Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Cuijpers, Pieter - Wiskunde en Informatica, Technische Universiteit Eindhoven
Hybrid Process Algebra P.J.L. Cuijpers # M.A. Reniers
Linearization of Hybrid Chi Using Program U.Khadim, D.A. van Beek, P.J.L. Cuijpers
Fault-tolerance in an Embedded Steering Robot: a hybrid approach
Hybrid Transition Systems P.J.L. Cuijpers 1 , M.A. Reniers 1 , W.P.M.H. Heemels 2
Action and Predicate Safety of Hybrid Processes P.J.L. Cuijpers and M.A. Reniers
Desynchronisablity of (partial) closed loop systems Harsh Beohar Pieter Cuijpers
Hybrid Process Algebra P.J.L. Cuijpers M.A. Reniers
Hybrid Process PROEFSCHRIFT
Constitutive Hybrid Processes P.J.L. Cuijpers, J.F. Broenink and P.J. Mosterman
BRICSNS-03-1Cousotetal.(eds.):GETCO'03PreliminaryProceedings BRICSBasic Research in Computer Science
D Semantics of [9] for BPAsrt with future Inconsistency
Safety-critical design of the Generic Driving Actuator
A note on Continuous Bisimulation and Stability P.J.L. Cuijpers
## Section of Information and Communication Systems (ICS/EB) Faculty of Electrical Engineering
Linearization of Hybrid Processes P.C.W. van den Brand M.A. Reniers P.J.L.Cuijpers
Moore-Smith theory for Uniform Spaces through Asymptotic Equivalence
Real-Time Systems manuscript No. (will be inserted by the editor)
