- 1 6 IEEE SOFTWARE Published by the IEEE Computer Society 0740-7459/03/$17.00 2003 IEEE Researchers have responded to these prob-
- STATE-EVENT OBSERVERS FOR LABELED TRANSITION M. Lawford and W.M. Wonham J.S. Ostroff
- Towards Optimal Supervisory Control of Probabilistic Discrete Event Systems
- 1336 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 50, NO. 9, SEPTEMBER 2005 Hierarchical Interface-Based Supervisory
- Supervisory Control of Probabilistic Discrete Event Systems M. Lawford and W. M. Wonham
- Lessons Learned from a Successful Implementation of Formal Methods in an
- Software Documents: Comparison and Measurement Tom Arbuckle, Adam Balaban, Dennis K. Peters and Mark Lawford
- Model Reduction of Modules for StateEvent Temporal Logics
- An IDE for Software Development Using Tabular Expressions Dennis K. Peters1
- On Software Certification: We Need Product-Focused Approaches
- STATEEVENT OBSERVERS FOR LABELED TRANSITION M. Lawford and W.M. Wonham J.S. Ostro#
- MODEL REDUCTION OF DISCRETE REALTIME SYSTEMS
- 1322 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 50, NO. 9, SEPTEMBER 2005 Hierarchical Interface-Based Supervisory
- 2000 Conference on Information Sciences and Systems, Princeton University, March 15-17, 2000 Veri cation of Real-Time Control Software Using PVS
- Invariance Under Scaling of Time Bounds in Timed Discrete-Event Systems
- A Software Certification Consortium and its Top 9 Hurdles
- IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 40, NO. 7, JULY 1995 * * 1167
- IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 40, NO. 7, JULY 1995 1167 Equivalence Preserving Transformations for
- Lessons Learned from a Successful Implementation of Formal Methods
- Model Reduction of Modules for State-Event Temporal Logics
- A Tabular Expression Toolbox for Matlab/Simulink
- Use of a Metric in Supervisory Control of Probabilistic Discrete Event Systems
- IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 54, NO. 8, AUGUST 2009 2013 Probabilistic Supervisory Control of
- Formal Verification of the Implementability of Timing Requirements
- Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking
- International Journal on Software Tools for Technology (2006) 8(4/5): 337354 DOI 10.1007/s10009-005-0209-6
- IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 50, NO. 12, DECEMBER 2005 2015 Technical Notes and Correspondence_______________________________
- Timing Tolerances in Safety-Critical Software Alan Wassyng , Mark Lawford , and Xiayong Hu
- Computation of Probabilistic Supervisory Controllers for Model Matching
- MODEL REDUCTION OF DISCRETE REAL-TIME SYSTEMS
- Formal Verification of Implementability of Timing Requirements
- 654 IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, VOL. 14, NO. 4, JULY 2006 Hierarchical Interface-Based Supervisory Control
- Fundamenta Informaticae 70 (2006) 75110 75 Towards Integrated Verification of Timed Transition Models
- The Role of Inspection in Software Quality Assurance
- Software Certification: Is There a Case against Safety Cases?
- Software Certification Experience in the Canadian Nuclear Industry: Lessons for the Future
- IEEE TRANSACTIONS ON AUTOMATIC CONTROL 1 Optimal Supervisory Control of Probabilistic
