X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (1889) 1889
Patent (1018) 1018
Conference Proceeding (820) 820
Publication (273) 273
Book Chapter (78) 78
Dissertation (69) 69
Book / eBook (59) 59
Government Document (24) 24
Paper (6) 6
Magazine Article (5) 5
Book Review (2) 2
Newsletter (2) 2
Newspaper Article (2) 2
Technical Report (2) 2
Journal / eJournal (1) 1
Reference (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
conjoint control of vehicle sub-units of different type ordifferent function (1008) 1008
control systems specially adapted for hybrid vehicles (1008) 1008
performing operations (1008) 1008
road vehicle drive control systems for purposes not related tothe control of a particular sub-unit (1008) 1008
transporting (1008) 1008
vehicles in general (1008) 1008
hybrid systems (977) 977
mechanical engineering (599) 599
heating (560) 560
lighting (555) 555
blasting (554) 554
weapons (554) 554
automata (553) 553
engineering elements and units (489) 489
general measures for producing and maintaining effectivefunctioning of machines or installations (489) 489
thermal insulation in general (489) 489
gearing (404) 404
hybrid automata (370) 370
automation & control systems (356) 356
computer science (352) 352
general tagging of cross-sectional technologies spanning over several sections of the ipc (302) 302
general tagging of new technological developments (302) 302
technical subjects covered by former uspc cross-reference art collections [xracs] and digests (302) 302
algorithms (301) 301
arrangement or mounting of plural diverse prime-movers invehicles (293) 293
arrangement or mounting of propulsion units or oftransmissions in vehicles (293) 293
arrangements in connection with cooling, air intake, gasexhaust or fuel supply of propulsion units, in vehicles (293) 293
auxiliary drives for vehicles (293) 293
instrumentation or dashboards for vehicles (293) 293
engineering, electrical & electronic (287) 287
analysis (284) 284
control systems (275) 275
mathematical models (248) 248
computer science, theory & methods (224) 224
verification (219) 219
technical subjects covered by former uspc (208) 208
computer simulation (207) 207
physics (199) 199
technical subjects covered by former us classification (191) 191
dynamical systems (190) 190
mathematics, applied (184) 184
robots (164) 164
mathematical model (162) 162
dynamics (161) 161
hybrid system (156) 156
simulation (156) 156
models (155) 155
arrangement of braking elements on vehicles in general (151) 151
brake control systems or parts thereof, in general (151) 151
portable devices for preventing unwanted movement ofvehicles (151) 151
vehicle brake control systems or parts thereof (151) 151
vehicle modifications to facilitate cooling of brakes (151) 151
mathematics (149) 149
optimization (148) 148
brakes (144) 144
clutches (143) 143
systems (143) 143
couplings for transmitting rotation (142) 142
stability (139) 139
combustion engines (129) 129
hot-gas or combustion-product engine plants (129) 129
technologies or applications for mitigation or adaptation againstclimate change (126) 126
climate change mitigation technologies related totransportation (125) 125
engineering (125) 125
automation (124) 124
artificial intelligence (122) 122
mathematical analysis (118) 118
computer science, software engineering (113) 113
automatic control (106) 106
hybrid automaton (105) 105
controlling combustion engines (102) 102
computational modeling (100) 100
safety (100) 100
cellular automata (98) 98
model checking (98) 98
index medicus (95) 95
operations research & management science (95) 95
reachability analysis (95) 95
computer science, artificial intelligence (94) 94
usage (94) 94
hybrid (93) 93
reachability (93) 93
computer science, interdisciplinary applications (90) 90
switches (86) 86
logic (85) 85
studies (85) 85
differential equations (81) 81
research (81) 81
design (80) 80
model (78) 78
software engineering (77) 77
land vehicles for travelling otherwise than on rails (75) 75
optimal control (74) 74
hybrid power systems (73) 73
computation (72) 72
motor vehicles (71) 71
controlling (70) 70
regulating (70) 70
trailers (70) 70
semantics (69) 69
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Engineering & Comp. Sci. - Stacks (12) 12
Gerstein Science - Stacks (7) 7
UTL at Downsview - May be requested (3) 3
Collection Dvlpm't (Acquisitions) - Closed Orders (1) 1
Collection Dvlpm't (Acquisitions) - Vendor file (1) 1
Engineering & Comp. Sci. - Periodical Stacks (1) 1
Online Resources - Online (1) 1
Physics - Stacks (1) 1
UofT at Scarborough - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (2925) 2925
French (1067) 1067
German (142) 142
Japanese (43) 43
Chinese (22) 22
Spanish (14) 14
Hungarian (4) 4
Portuguese (4) 4
Croatian (3) 3
Romanian (3) 3
Arabic (1) 1
Czech (1) 1
Italian (1) 1
Turkish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Formal Methods in System Design, ISSN 0925-9856, 12/2008, Volume 33, Issue 1, pp. 45 - 84
Journal Article
2012, IISc research monographs series, ISBN 9789814271042, Volume 2, xvi, 656
Book
International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, 4/2019, Volume 21, Issue 2, pp. 203 - 219
Journal Article
International Journal of Bifurcation and Chaos, ISSN 0218-1274, 06/2017, Volume 27, Issue 6, p. 1750082
In the case of one-dimensional cellular automaton (CA), a hybrid CA (HCA) is the member whose evolution of the cells is dependent on nonunique global... 
chaos | collisions | transition matrix | Hybrid cellular automata with memory | directed graph representation | glider | symbolic dynamics | NONLINEAR DYNAMICS PERSPECTIVE | WOLFRAMS | MULTIDISCIPLINARY SCIENCES | UNIVERSAL TURING MACHINE | MATHEMATICS, INTERDISCIPLINARY APPLICATIONS | GAME | KIND | Robots
Journal Article
Science of Computer Programming, ISSN 0167-6423, 11/2015, Volume 112, Issue 1, pp. 3 - 23
Journal Article
ACTA BIOTHEORETICA, ISSN 0001-5342, 03/2020, Volume 68, Issue 1, pp. 73 - 85
Computational approaches in systems biology have become a powerful tool for understanding the fundamental mechanisms of cellular metabolism and regulation.... 
Hybrid automata | RESOURCE-ALLOCATION | Computational modeling | MODELS | Gene regulation | Resource allocation | MATHEMATICAL & COMPUTATIONAL BIOLOGY | GENE-EXPRESSION | OPTIMIZATION | Metabolism | CELLULAR TRADE-OFFS | Enzymes | Transcription | Computer applications
Journal Article
International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, 2/2019, Volume 21, Issue 1, pp. 87 - 104
Journal Article
IEEE Transactions on Automatic Control, ISSN 0018-9286, 06/2011, Volume 56, Issue 6, pp. 1307 - 1321
Journal Article
Fundamenta Informaticae, ISSN 0169-2968, 2018, Volume 157, Issue 4, pp. 321 - 339
Hybrid automata are a well-established modelling approach. The formalism is used in many real-time and control systems engineering projects, which makes model... 
Composition | Hybrid Systems | Verification | Linear Systems | Hybrid Automata | COMPUTER SCIENCE, SOFTWARE ENGINEERING | MATHEMATICS, APPLIED | Modelling | Concurrent engineering | Systems engineering | Formalism | Superposition (mathematics)
Journal Article
IEEE Transactions on Automatic Control, ISSN 0018-9286, 04/2016, Volume 61, Issue 4, pp. 982 - 993
The problem of system diagnosability verification is concerned with whether a fault in the system operation can be diagnosed by using the system model and... 
Fault diagnosis | Robustness | Trajectory | Measurement uncertainty | Modeling | Automata | Hybrid automaton | DIAGNOSIS | ANALYTICAL REDUNDANCY | AUTOMATION & CONTROL SYSTEMS | ENGINEERING, ELECTRICAL & ELECTRONIC | Fault tolerance (Computers) | Research | Uncertainty (Information theory) | Complex systems | Analysis | Automatic control | Faults | Uncertainty | Delay
Journal Article
Journal of Computer and System Sciences, ISSN 0022-0000, 11/2015, Volume 81, Issue 7, pp. 1144 - 1158
•This paper describes several existing hybrid models of QFA in a uniform way.•We clarify the relationship between hybrid QFA and some other models.•Some... 
Hybrid model of QFA | Quantum computing | Quantum finite automata | Automata theory | COMPUTER SCIENCE, HARDWARE & ARCHITECTURE | COMPLEXITY | COMPUTER SCIENCE, THEORY & METHODS | EQUIVALENCE | Models | Robots
Journal Article
The International Journal of Robotics Research, ISSN 0278-3649, 10/2015, Volume 34, Issue 12, pp. 1515 - 1535
As robots are being integrated into our daily lives, it becomes necessary to provide guarantees on their safe and provably correct operation. Such guarantees... 
Motion planning | hybrid control | temporal logics | specification revision | ROBOTICS | LTL | Heuristic programming | Motion | Usage | Safety and security measures | Home robots | Research | Cellular automata | Robots | Home use
Journal Article
Systems & Control Letters, ISSN 0167-6911, 1999, Volume 38, Issue 3, pp. 141 - 150
Fundamental properties of hybrid automata, such as existence and uniqueness of executions, are studied. Particular attention is devoted to Zeno hybrid... 
Hybrid systems | Zeno automata | Simulation | Regularization | OPERATIONS RESEARCH & MANAGEMENT SCIENCE | hybrid systems | simulation | regularization | SYSTEMS | zeno automata | AUTOMATION & CONTROL SYSTEMS
Journal Article
IEEE Transactions on Automatic Control, ISSN 0018-9286, 09/2011, Volume 56, Issue 9, pp. 2050 - 2061
Journal Article