43 results on '"van Beek, D.A."'
Search Results
2. Towards the removal of synchronous behavior of events in automata
3. Syntax and semantics of the compositional interchange format for hybrid systems
4. Improving evolvability of a patient communication control system using state-based supervisory control synthesis
5. A Semantic-Preserving Transformation from the Compositional Interchange Format to UPPAAL
6. Coordination of Resources using Generalized State-Based Requirements
7. Sampled-data control of hybrid systems with discrete inputs and outputs
8. New Concepts in the Abstract Format of the Compositional Interchange Format
9. Concrete syntax and semantics of the compositional interchange format for hybrid systems
10. The Road Ahead for Supervisor Synthesis
11. Relating Hybrid Chi to Other Formalisms
12. Syntax and consistent equation semantics of hybrid Chi
13. Simulation and Verification of Hybrid Systems Using Chi11Work partially done in the framework of the HYCON Network of Excellence, contract number FP6-TST-511368
14. A Hybrid Language for Modeling, Simulation and Verification
15. Chaos in discrete production systems?
16. CIF 3: Model-based engineering of supervisory controllers
17. SIMULATION AND VERIFICATION OF HYBRID SYSTEMS USING CHI
18. Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors
19. Concrete syntax and semantics of the compositional interchange format for hybrid systems
20. A state-based framework for supervisory control synthesis and verification
21. Hierarchical states in the Compositional Interchange Format
22. Supervisory control synthesis for a patient support system
23. Control of input/output discrete-event systems
24. Hybrid modeling and simulation of plant/controller combinations
25. Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi
26. Deriving simulators for hybrid Chi models
27. Convex equations and differential inclusions in hybrid systems
28. A process-theoretic approach to supervisory control theory.
29. A state-based framework for supervisory control synthesis and verification.
30. Hybrid modeling and simulation of plant/controller combinations.
31. Index Reduction and Discontinuity Handling Using Substitute Equations
32. Languages and applications in hybrid modelling and simulation: Positioning of Chi
33. Languages and Applications in Hybrid Modelling: Positioning of CHI
34. Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines
35. A New Mechanism for Exception Handling in Concurrent Control Systems
36. Index Reduction and Discontinuity Handling Using Substitute Equations.
37. Model-based design of baggage handling systems
38. Supervisory control in health care systems
39. A compositional interchange format for hybrid systems : design and implementation
40. Formal specification and analysis of hybrid systems
41. Design of a fruit juice blending and packaging plant
42. A language and simulator for hybrid systems
43. Simulator for combined continuous-time/discrete-event models
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.