B. Izaias Silva

According to our database, B. Izaias Silva authored at least 3 papers between 2000 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

An assessment of the current status of algorithmic approaches to the verification of hybrid systems.

B. Izaias Silva, Olaf Stursberg, Bruce H. Krogh, Sebastian Engell

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Modeling and verification of hybrid systems with clocked and unclocked events.

B. Izaias Silva, Bruce H. Krogh

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Formal verification of hybrid systems using CheckMate: a case study.

B. Izaias Silva, Bruce H. Krogh

Proceedings of the American Control Conference, 2000