X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (1756) 1756
Patent (1023) 1023
Conference Proceeding (719) 719
Dissertation (70) 70
Book Chapter (68) 68
Book / eBook (58) 58
Government Document (24) 24
Publication (10) 10
Magazine Article (3) 3
Newspaper Article (3) 3
Newsletter (2) 2
Paper (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 (1013) 1013
control systems specially adapted for hybrid vehicles (1013) 1013
performing operations (1013) 1013
road vehicle drive control systems for purposes not related tothe control of a particular sub-unit (1013) 1013
transporting (1013) 1013
vehicles in general (1013) 1013
hybrid systems (969) 969
mechanical engineering (602) 602
heating (563) 563
lighting (558) 558
blasting (557) 557
weapons (557) 557
automata (547) 547
engineering elements and units (490) 490
general measures for producing and maintaining effectivefunctioning of machines or installations (490) 490
thermal insulation in general (490) 490
gearing (405) 405
hybrid automata (372) 372
automation & control systems (356) 356
computer science (347) 347
algorithms (308) 308
general tagging of cross-sectional technologies spanning over several sections of the ipc (295) 295
general tagging of new technological developments (295) 295
technical subjects covered by former uspc cross-reference art collections [xracs] and digests (295) 295
arrangement or mounting of plural diverse prime-movers invehicles (292) 292
arrangement or mounting of propulsion units or oftransmissions in vehicles (292) 292
arrangements in connection with cooling, air intake, gasexhaust or fuel supply of propulsion units, in vehicles (292) 292
auxiliary drives for vehicles (292) 292
instrumentation or dashboards for vehicles (292) 292
engineering, electrical & electronic (289) 289
analysis (282) 282
control systems (273) 273
mathematical models (247) 247
computer science, theory & methods (220) 220
verification (217) 217
computer simulation (212) 212
technical subjects covered by former uspc (209) 209
physics (203) 203
technical subjects covered by former us classification (192) 192
dynamical systems (190) 190
mathematics, applied (180) 180
robots (164) 164
mathematical model (162) 162
dynamics (160) 160
simulation (155) 155
hybrid system (154) 154
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
optimization (150) 150
mathematics (147) 147
systems (145) 145
brakes (144) 144
clutches (143) 143
couplings for transmitting rotation (142) 142
stability (141) 141
combustion engines (132) 132
hot-gas or combustion-product engine plants (132) 132
automation (125) 125
engineering (125) 125
artificial intelligence (122) 122
technologies or applications for mitigation or adaptation againstclimate change (118) 118
climate change mitigation technologies related totransportation (117) 117
mathematical analysis (116) 116
computer science, software engineering (112) 112
hybrid automaton (106) 106
automatic control (104) 104
controlling combustion engines (103) 103
computational modeling (101) 101
safety (100) 100
index medicus (98) 98
model checking (98) 98
cellular automata (97) 97
operations research & management science (96) 96
hybrid (95) 95
computer science, artificial intelligence (94) 94
reachability analysis (94) 94
usage (94) 94
reachability (92) 92
computer science, interdisciplinary applications (88) 88
studies (88) 88
logic (86) 86
switches (86) 86
design (81) 81
research (81) 81
differential equations (80) 80
software engineering (77) 77
hybrid power systems (73) 73
land vehicles for travelling otherwise than on rails (72) 72
optimal control (72) 72
computation (71) 71
controlling (71) 71
regulating (71) 71
testing (69) 69
hybridtechnik (68) 68
motor vehicles (68) 68
robotics (67) 67
semantics (67) 67
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 (2926) 2926
French (1070) 1070
German (140) 140
Japanese (34) 34
Chinese (23) 23
Spanish (15) 15
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


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 functions... 
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
.... Using this model, we show that the dynamic interplay between these different cellular processes can be formalized by a hybrid automaton, combining continuous... 
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
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 an increasingly relevant topic... 
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, 06/2011, Volume 56, Issue 6, pp. 1307 - 1321
Journal Article
Journal of Computer and System Sciences, ISSN 0022-0000, 11/2015, Volume 81, Issue 7, pp. 1144 - 1158
.... In the literature, there exist several interesting hybrid models of quantum finite automata (QFA) which have both quantum and classical states... 
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
.... Such guarantees can be provided using automata theoretic task and mission planning where the requirements are expressed as temporal logic specifications... 
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... 
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
Sensors (Basel, Switzerland), ISSN 1424-8220, 2017, Volume 17, Issue 4, p. 716
Journal Article
Robotics and Autonomous Systems, ISSN 0921-8890, 08/2015, Volume 70, pp. 181 - 190
The earlier developed two stage hybrid automata is not a perfect representation of human walk as it is a combination of discrete and continuous phases and the whole human GAIT has 8 stages... 
Hybrid automata | Push recovery | Dynamic system | Component based modeling | Humanoid locomotion | Hybrid system | WALKING | ROBOTICS | GAIT | ROBOTS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | DYNAMIC SIMULATIONS | AUTOMATION & CONTROL SYSTEMS | Analysis | Models | Robots
Journal Article