Back to Results
First PageMeta Content
Symbol / Continuous function / Mathematics / Ergodic theory / Computability theory / operator / Ergodic flow


Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol Parasara Sridhar Duggirala1, Le Wang1 , Sayan Mitra1 , Mahesh Viswanathan1 , and C´esar Mu˜noz2 1
Add to Reading List

Document Date: 2014-10-08 18:38:00


Open Document

File Size: 511,88 KB

Share Result on Facebook